Theorem Polynomial.valuation_le_one_of_valuation_X_le_one

Modification history

2025-07-09 13:45
Mathlib/FieldTheory/RatFunc/AsPolynomial.lean
feat: valuation on RatFunc which is trivial on constants (#24254) …
Added Polynomial.valuation_le_one_of_valuation_X_le_oneView on Github →