mathlib
4a4cd6d6 - feat(topology/metric_space/metrizable): assume `regular_space` (#14586)

Commit

3 years ago

feat(topology/metric_space/metrizable): assume `regular_space` (#14586)

Author

urkud

urkud

Parents

Loading