Theorem singleton_mem_nhdsWithin_of_mem_discrete

Modification history