Theorem Polynomial.self_sub_C_mul_X_pow

Modification history