Theorem Multiset.prod_induction

Modification history