Theorem Finset.prod_pow_choose_succ

Modification history