Mathlib Changelog
v4
Changelog
About
Github
Def
RatFunc.valuationIdeal
Modification history
2026-03-18 07:57
Mathlib/NumberTheory/RatFunc/Ostrowski.lean
feat(NumberTheory/RatFunc/Ostrowski): prove Ostrowski's theorem for K(X) (#30505) …
Added
RatFunc.valuationIdeal
View on Github →