Theorem sub_pow_char_pow_of_commute

Modification history