Theorem padicValInt_dvd_iff_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 padicValInt_dvd_iff_of_ne_one View on Github →