Theorem ModelWithCorners.compl_interior

Modification history

2025-12-15 22:35
Mathlib/Geometry/Manifold/IsManifold/InteriorBoundary.lean
chore(Geometry): fix whitespace (#32904) …
Modified ModelWithCorners.compl_interiorView on Github →
2024-09-03 10:20
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: the product of boundaryless manifolds is boundaryless (#14972) …
Added ModelWithCorners.compl_interiorView on Github →