Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-05 01:26 74664245

View on Github →

feat(number_theory/padics): add padic_norm lemmas (#9527)

Estimated changes