Theorem sub_pow_char_pow

Modification history