Normed vector types, infinite norm, norm equivalence thm, continuity …#1718
Open
Tragicus wants to merge 4 commits intomath-comp:masterfrom
Open
Normed vector types, infinite norm, norm equivalence thm, continuity …#1718Tragicus wants to merge 4 commits intomath-comp:masterfrom
Tragicus wants to merge 4 commits intomath-comp:masterfrom
Commits
Commits on Jan 20, 2026
- committed
- authored andcommitted
- committed
Commits on Jan 25, 2026
- committed