Theorem X_pow_mul_sub_C_irreducible

Modification history