Theorem Multiset.sup_cons

Modification history