Theorem add_pow_expChar

Modification history