Theorem Polynomial.natDegree_pow

Modification history