Theorem Multiset.mem_of_mem_toEnumFinset

Modification history