Theorem Polynomial.degree_mul_leadingCoeff_inv

Modification history