Theorem Polynomial.monic_mul_C_of_leadingCoeff_mul_eq_one

Modification history