Theorem Multiset.map_fst_le_of_subset_toEnumFinset

Modification history