Theorem Multiset.prod_toEnumFinset

Modification history