Theorem Finset.Multiset.toFinset_filter

Modification history