Theorem X_pow_sub_C_irreducible_of_prime_pow_of_ne_two

Modification history