Theorem isTotallyDisconnected_of_isClopen_set

Modification history

2023-11-30 19:19
Mathlib/Topology/Connected/TotallyDisconnected.lean
chore: rename most lemmas involving clopen to isClopen (#8720) …
Added isTotallyDisconnected_of_isClopen_setView on Github →