Theorem Multiset.prod_int_mod

Modification history