Theorem pow_ne_of_irreducible_X_pow_sub_C

Modification history