Theorem nhdsKer_sInter_subset

Modification history