Mathlib v3 is deprecated. Go to Mathlib v4

Def padic_val

Modification history

2019-01-18 14:10

src/data/padics/padic_norm.lean

refactor(ring_theory/multiplicity): replace padic_val with multiplicity (#495)

Deleted padic_val View on Github →

2018-08-16 11:32

data/padics/padic_norm.lean

fix(padics/padic_norm): remove spurious import

Modified padic_val View on Github →

2018-08-16 11:23

data/padics/padic_norm.lean

feat(data/padics): p-adic numbers (#262)

Added padic_val View on Github →