Theorem nhdsKer_inter_subset

Modification history