Theorem nhdsKer_def

Modification history