Theorem Finset.sum_pow_eq_sum_piAntidiag

Modification history