Theorem Multiset.quot_mk_to_coe'

Modification history