Theorem Multiset.coe_eq_singleton

Modification history