feat: Gram-Schmidt procedure on smooth vector bundles yields smooth sections#27025
Open
grunweg wants to merge 27 commits into
Open
feat: Gram-Schmidt procedure on smooth vector bundles yields smooth sections#27025grunweg wants to merge 27 commits into
grunweg wants to merge 27 commits into
Commits
Commits on Jul 12, 2025
Commits on Jul 15, 2025
- andauthored
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- committed
Commits on Jul 16, 2025
Commits on Jul 17, 2025
- committed