Theorem Polynomial.monic_C_mul_of_mul_leadingCoeff_eq_one

Modification history