Theorem exists_mem_nhds_isClosed_subset

Modification history