mathlib
8527efd1 - feat(topology/connected): prod.totally_disconnected_space (#7747)

Commit

4 years ago

feat(topology/connected): prod.totally_disconnected_space (#7747) From LTE. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents