Skip to content

Deduplicate redundant proofs: closed-range cokernel argument and diagonal-operator self-adjointness - #15

Merged
JonBannon merged 8 commits into
mainfrom
dedupe-redundancies
Jun 21, 2026
Merged

Deduplicate redundant proofs: closed-range cokernel argument and diagonal-operator self-adjointness#15
JonBannon merged 8 commits into
mainfrom
dedupe-redundancies

Fix missing "and" between author names in the blueprint

8edaea5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.