Theorem padicValNat_def'

Modification history

2024-08-20 08:16

Mathlib/NumberTheory/Padics/PadicVal/Basic.lean

chore: split off Defs from `Padics/PadicVal` (#15020) …

Modified padicValNat_def'View on Github →

2023-03-22 07:28

Mathlib/NumberTheory/Padics/PadicVal.lean

feat: port NumberTheory.Padics.PadicVal (#3020)

Added padicValNat_def'View on Github →