Theorem Polynomial.natDegree_bit1

Modification history