Theorem Polynomial.monic_of_isUnit_leadingCoeff_inv_smul

Modification history