Theorem ModelWithCorners.boundary_open

Modification history

2025-12-12 15:51
Mathlib/Geometry/Manifold/IsManifold/InteriorBoundary.lean
feat(Geometry/Manifold): interior and boundary of open subsets of manifolds (#32759) …
Added ModelWithCorners.boundary_openView on Github →