Theorem Polynomial.trailingCoeff_zero

Modification history