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