Theorem exists_nhds_disjoint_closure

Modification history