Theorem padicValNat_dvd_iff_of_ne_one

Modification history

2026-11-01 22:20
Mathlib/NumberTheory/Padics/PadicVal/Basic.lean
refactor: replace `padicValNat` with `multiplicity` (#43722) …
Deleted padicValNat_dvd_iff_of_ne_oneView on Github →
2026-03-13 10:21
Mathlib/NumberTheory/Padics/PadicVal/Basic.lean
feat: add generalizations of some padicVal{Nat,Int} lemmas (#34588) …
Added padicValNat_dvd_iff_of_ne_oneView on Github →