Theorem Multiset.coe_eq_coe

Modification history