Theorem BoundarylessManifold.isInteriorPoint

Modification history

2024-09-03 10:20
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: the product of boundaryless manifolds is boundaryless (#14972) …
Modified BoundarylessManifold.isInteriorPointView on Github →
2024-01-05 09:42
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: Boundaryless manifold (#9323) …
Added BoundarylessManifold.isInteriorPointView on Github →