Theorem Polynomial.natDegree_eq_reverse_natDegree_add_natTrailingDegree

Modification history