Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-13 18:44 7368d719

View on Github →

chore(number_theory/arithmetic_function): Define in terms of zero_hom (#4606) No need to write these proofs in two places

Estimated changes