Theorem image_subset_closure_compl_image_compl_of_isOpen

Modification history

2023-08-09 19:01
Mathlib/Topology/ExtremallyDisconnected.lean
feat(Topology/ExtremallyDisconnected): prove Gleason's theorem (#5634) …
Added image_subset_closure_compl_image_compl_of_isOpenView on Github →