Theorem Multiset.cons_inter_of_neg

Modification history