Theorem Polynomial.trailingDegree_one_le

Modification history