Mathlib v3 is deprecated. Go to Mathlib v4

Theorem dvd_iff_padic_val_nat_ne_zero

Modification history

2022-07-20 19:03
src/number_theory/padics/padic_val.lean
refactor(data/nat/factorization): Change definition of `factorization` to be computable (#12301) …
Added dvd_iff_padic_val_nat_ne_zeroView on Github →