Theorem Multiset.map_toEnumFinset_fst

Modification history