Theorem Finset.Multiset.toFinset_eq_empty

Modification history