Theorem Polynomial.natTrailingDegree_eq_support_min'

Modification history