Theorem Polynomial.valuation_aeval_monomial_eq_valuation_pow

Modification history

2026-04-28 15:17
Mathlib/FieldTheory/RatFunc/AsPolynomial.lean
feat(Valuation/IsTrivialOn): transcendental_of_lt_one (#37512) …
Modified Polynomial.valuation_aeval_monomial_eq_valuation_powView on Github →
2025-07-22 20:14
Mathlib/FieldTheory/RatFunc/AsPolynomial.lean
chore: tidy various files (#27356)
Modified Polynomial.valuation_aeval_monomial_eq_valuation_powView on Github →
2025-07-09 13:45
Mathlib/FieldTheory/RatFunc/AsPolynomial.lean
feat: valuation on RatFunc which is trivial on constants (#24254) …
Added Polynomial.valuation_aeval_monomial_eq_valuation_powView on Github →