Theorem ModelWithCorners.isInteriorPoint

Modification history

2024-01-05 09:42
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: Boundaryless manifold (#9323) …
Deleted ModelWithCorners.isInteriorPointView on Github →
2023-12-19 12:55
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: interior and boundary of a manifold (#8624) …
Added ModelWithCorners.isInteriorPointView on Github →