Theorem Polynomial.trailingDegree_zero

Modification history