Theorem Multiset.toFinsupp_eq_iff

Modification history