https://leanprover-community.github.io/mathlib4_docs/Mathlib/NumberTheory/Padics/Hensel.html
Mathlib.NumberTheory.Padics.Hensel
mathlibhensel
https://www.padics-kiteboarding.de/
Startseite - PADICS Kiteboarding
Mar 21, 2026 - Die Bindungen von PADICS geben dir durch das einzigartige Pad-Konzept mehr Komfort, Sicherheit und Performance beim Kitesurfen!
startseitekiteboarding
https://leanprover-community.github.io/mathlib4_docs/Mathlib/NumberTheory/Padics/PadicVal/Defs.html
Mathlib.NumberTheory.Padics.PadicVal.Defs
mathlibdefs