Theorem Polynomial.natDegree_iterate_comp

Modification history