Theorem Multiset.quot_mk_to_coe

Modification history