Theorem Polynomial.natDegree_natCast

Modification history