Theorem Multiset.eq_zero_iff_forall_not_mem

Modification history