Theorem Multiset.sym2_eq_zero_iff

Modification history