Theorem Polynomial.C_mul_X_pow_eq_self

Modification history