Theorem Finset.Multiset.disjoint_toFinset

Modification history