Theorem Finset.Multiset.toFinset_subset

Modification history