Theorem nhdsKer_subset_iff

Modification history