Theorem Polynomial.integralNormalization_coeff_ne_degree

Modification history