Theorem Finset.prod_add_one

Modification history