Theorem ModelWithCorners.isInteriorPoint_iff_isInteriorPoint_val

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.isInteriorPoint_iff_isInteriorPoint_valView on Github →