Theorem padicValNat_add_le_self

Modification history

2026-11-01 22:20
Mathlib/NumberTheory/Padics/PadicVal/Basic.lean
refactor: replace `padicValNat` with `multiplicity` (#43722) …
Deleted padicValNat_add_le_selfView on Github →
2025-12-20 12:59
Mathlib/NumberTheory/Padics/PadicVal/Basic.lean
feat: 2025 imo problem3 (#27254) …
Added padicValNat_add_le_selfView on Github →