Theorem Polynomial.leadingCoeff_hermite

Modification history