feat(Geometry/Convex/Cone): Minor additions to pointed cones#37464
Open
martinwintermath wants to merge 11 commits intoleanprover-community:masterfrom
Open
feat(Geometry/Convex/Cone): Minor additions to pointed cones#37464martinwintermath wants to merge 11 commits intoleanprover-community:masterfrom
martinwintermath wants to merge 11 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 31, 2026
Commits on Apr 1, 2026
Commits on Apr 2, 2026
- andauthored
Commits on Apr 12, 2026
Commits on Apr 15, 2026
Commits on Apr 17, 2026
Commits on Apr 21, 2026
- committed