mathlib
6d7d1698 - feat(topology): More lemmas from LTE, refactor `is_totally_disconnected` to use `set.subsingleton` (#6673)

Commit

4 years ago

feat(topology): More lemmas from LTE, refactor `is_totally_disconnected` to use `set.subsingleton` (#6673) From the liquid tensor experiment

Author

PatrickMassot

Parents