Theorem Multiset.coe_eq_zero_iff_isEmpty

Modification history