mathlib
2067c013 - feat(geometry/manifold/metrizable): metrizability of a manifold (#15437)

Commit

3 years ago

feat(geometry/manifold/metrizable): metrizability of a manifold (#15437)

Author

urkud

urkud

Parents

Loading