Theorem Polynomial.natTrailingDegree_eq_of_trailingDegree_eq_some

Modification history