Theorem Finset.prod_antidiagonal_pow_choose_succ

Modification history