Theorem Multiset.quot_mk_to_coe''

Modification history