Theorem isTotallyDisconnected_of_isClopen_set

Modification history

2025-10-31 08:47
Mathlib/Topology/Connected/TotallyDisconnected.lean
chore: remove declarations deprecated before 2025-04-21 (#30759) …
Deleted isTotallyDisconnected_of_isClopen_setView on Github →
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 →