Theorem ModelWithCorners.isBoundaryPoint_iff_isBoundaryPoint_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.isBoundaryPoint_iff_isBoundaryPoint_valView on Github →