Theorem Finset.sum_pow_eq_sum_piAntidiag_of_commute

Modification history