Theorem Multiset.cons_subset

Modification history