Theorem X_pow_sub_C_irreducible_iff_forall_prime_of_odd

Modification history