Theorem nhdsKer_subset_nhdsKer

Modification history