Theorem totallyDisconnectedSpace_subtype_iff

Modification history

2023-11-03 09:34
Mathlib/Topology/Connected/TotallyDisconnected.lean
feat: add `totallyDisconnectedSpace_subtype_iff` (#8134) …
Added totallyDisconnectedSpace_subtype_iffView on Github →