Theorem Polynomial.leadingCoeff_X_pow_add_one

Modification history