Theorem nhdsKer_subset_nhdsKer_iff_nhdsSet

Modification history