Theorem list_sum_pow_char

Modification history