Theorem nhdsKer_nhdsKer

Modification history