Commit 2025-12-12 15:51 d899146b
View on Github →feat(Geometry/Manifold): interior and boundary of open subsets of manifolds (#32759) A belongs to the interior / boundary of an open submanifold iff it belongs to the interior / boundary, when regarded as a point of the ambient manifold.