Theorem Polynomial.natDegree_expand

Modification history