Theorem Finset.Multiset.toFinset_replicate

Modification history