Theorem ModelWithCorners.interior_eq_univ

Modification history

2024-09-03 10:20
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: the product of boundaryless manifolds is boundaryless (#14972) …
Modified ModelWithCorners.interior_eq_univView on Github →
2024-01-19 22:02
Mathlib/Geometry/Manifold/InteriorBoundary.lean
chore: tidy various files (#9851)
Modified ModelWithCorners.interior_eq_univView on Github →
2023-12-19 12:55
Mathlib/Geometry/Manifold/InteriorBoundary.lean
feat: interior and boundary of a manifold (#8624) …
Added ModelWithCorners.interior_eq_univView on Github →