Theorem IsClosed.Icc_subset_of_forall_mem_nhdsWithin

Modification history