Theorem Multiset.sup_coe

Modification history