Theorem IsCompact.nhdsKer_iff

Modification history