Theorem Polynomial.leadingCoeff_divByMonic_of_monic

Modification history