Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.image_div_divisors_eq_divisors

Modification history

2022-02-18 19:52
src/number_theory/divisors.lean
feat(number_theory/divisors): add `prod_div_divisors` and `sum_div_divisors` (#12087) …
Added nat.image_div_divisors_eq_divisorsView on Github →