Theorem Multiset.prod_eq_foldr

Modification history