Theorem Polynomial.reverse_natDegree_le

Modification history