Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-14 05:36 ee78812f

View on Github →

feat(number_theory/padics/padic_norm): lemmas (#10765)

Estimated changes