Theorem isClopen_inter_of_disjoint_cover_clopen'

Modification history

2026-03-24 21:53
Mathlib/Topology/Clopen.lean
feat(Topology): cardinality of connected components is bounded by cardinality of fiber (#23835) …
Added isClopen_inter_of_disjoint_cover_clopen'View on Github →