Theorem subset_nhdsKer

Modification history