Theorem Finset.Multiset.toFinset_nsmul

Modification history