Theorem nhdsKer_empty

Modification history