Theorem exists_open_nhds_disjoint_closure

Modification history