Theorem ExtremallyDisconnected.disjoint_closure_of_disjoint_isOpen

Modification history

2023-09-07 12:30
Mathlib/Topology/ExtremallyDisconnected.lean
chore: tidy various files (#7009)
Added ExtremallyDisconnected.disjoint_closure_of_disjoint_isOpenView on Github →