Theorem Polynomial.valuation_X_eq_neg_one

Modification history

2024-07-05 11:29
Mathlib/FieldTheory/RatFunc/AsPolynomial.lean
feat: add properties of the X-adic valuation on `PowerSeries K` (#13064) …
Added Polynomial.valuation_X_eq_neg_oneView on Github →