Theorem Polynomial.leadingCoeff_one

Modification history