Mathlib v3 is deprecated. Go to Mathlib v4

Theorem padic_val_nat_dvd_iff_le

Modification history

2022-12-10 16:28
src/number_theory/padics/padic_val.lean
chore(number_theory/padics/padic_val): golf (#17885) …
Added padic_val_nat_dvd_iff_leView on Github →