Theorem nhdsKer_subset_iff_mem_nhdsSet

Modification history