Theorem Polynomial.natTrailingDegree_eq_of_trailingDegree_eq

Modification history