mathlib3
ead4731a - feat(geometry/manifold): `model_with_corners` is a `closed_embedding` (#6393)

Commit

4 years ago

feat(geometry/manifold): `model_with_corners` is a `closed_embedding` (#6393)

Author

urkud

urkud

Parents

Loading