Theorem Multiset.cons_inter_distrib

Modification history