Theorem Finset.sum_antidiagonal_choose_succ_mul

Modification history