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

Commits

Commits on Jul 12, 2025

Commits on Jul 15, 2025

Commits on Jul 16, 2025

Commits on Jul 17, 2025

Commits on Jul 29, 2025

Commits on Jul 30, 2025