Theorem Multiset.prod_nat_mod

Modification history