Theorem X_pow_sub_C_irreducible_iff_of_prime_pow

Modification history