Theorem Finset.prod_int_mod

Modification history