Theorem Fin.sum_pow_mul_eq_add_pow

Modification history