Theorem Polynomial.separable_C_mul_X_pow_add_C_mul_X_add_C'

Modification history