Skip to content

feat: Gram-Schmidt orthonormalisation preserves continuity of sections#27694

Open
grunweg wants to merge 23 commits into
leanprover-community:masterfrom
grunweg:gramSchmidt-sections-cont
Open

feat: Gram-Schmidt orthonormalisation preserves continuity of sections#27694
grunweg wants to merge 23 commits into
leanprover-community:masterfrom
grunweg:gramSchmidt-sections-cont

checkpoint: still requires the TotalSpace elaborator, and prerequisites

459986a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 notices

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