Theorem Finset.sum_pow

Modification history