Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-10 16:28 60fa54e7

View on Github →

chore(number_theory/padics/padic_val): golf (#17885) Also add padic_val_nat_dvd_iff_le and assume ≠ 0 instead of 0 < in pow_succ_padic_val_nat_not_dvd.

Estimated changes