Theorem TopologicalSpace.Opens.eq_bot_or_top

Modification history