Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-20 15:36 5a6a67fc

View on Github →

fix(data/padics): misstated lemma (#1718)

Estimated changes

modified theorem padic.coe_zero