Theorem sum_pow_char

Modification history