Theorem Finset.Multiset.mem_toFinset

Modification history