Theorem nhdsKer_univ

Modification history