Theorem Multiset.image_toEnumFinset_fst

Modification history