feat(Geometry/Manifold): MfldCat is a CartesianMonoidalCategory#38560
Open
Deicyde wants to merge 38 commits intoleanprover-community:masterfrom
Open
feat(Geometry/Manifold): MfldCat is a CartesianMonoidalCategory#38560Deicyde wants to merge 38 commits intoleanprover-community:masterfrom
MfldCat is a CartesianMonoidalCategory#38560Deicyde wants to merge 38 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 19, 2026
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Apr 20, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 25, 2026
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- committed
Commits on Apr 26, 2026
- committed
- committed
Commits on Apr 28, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed