Theorem subset_nhdsKer_iff

Modification history