Theorem nhdsKer_union

Modification history