Theorem Multiset.toFinset_eq_singleton_iff

Modification history