Theorem Finset.Multiset.toFinset_eq

Modification history