feat(Geometry/Manifold): the interior of a manifold is open#33189
Open
peabrainiac wants to merge 12 commits intoleanprover-community:masterfrom
Open
feat(Geometry/Manifold): the interior of a manifold is open#33189peabrainiac wants to merge 12 commits intoleanprover-community:masterfrom
peabrainiac wants to merge 12 commits intoleanprover-community:masterfrom
Commits
Commits on Dec 22, 2025
- committed
- committed
- committed
Commits on Jan 31, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Feb 1, 2026
Commits on Feb 15, 2026
- committed