Def Rat.padicValuation

Modification history

2026-11-01 22:20
Mathlib/NumberTheory/Padics/PadicNumbers.lean
refactor: replace `padicValNat` with `multiplicity` (#43722) …
Deleted Rat.padicValuationView on Github →
2025-08-15 22:00
Mathlib/NumberTheory/Padics/PadicNumbers.lean
feat(NumberTheory/Padics): {Int,Rat}.padicValuation (#27667) …
Added Rat.padicValuationView on Github →