Theorem Multiset.subset_cons

Modification history