Theorem padicValNat_dvd_iff_le_of_ne_one

Modification history

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_le_of_ne_one View on Github →