Theorem nhdsKer_minimal

Modification history