Mathlib Changelog
v4
Changelog
About
Github
Theorem
PadicInt.valuation_coe_nonneg
Modification history
2024-12-21 08:00
Mathlib/NumberTheory/Padics/PadicIntegers.lean
refactor: make `PadicInt.valuation` `ℕ`-valued (#19858) …
Added
PadicInt.valuation_coe_nonneg
View on Github →