Theorem Multiset.mem_toEnumFinset

Modification history