Mathlib Changelog
v4
Changelog
About
Github
Theorem
boundary_of_boundaryless_right
Modification history
2024-09-03 10:20
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: the product of boundaryless manifolds is boundaryless (#14972) …
Deleted
boundary_of_boundaryless_right
View on Github →
2024-07-18 01:47
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: interior and boundary of a product manifold (#14802) …
Added
boundary_of_boundaryless_right
View on Github →