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
chore(number_theory/arithmetic_function): Define in terms of zero_hom (#4606) No need to write these proofs in two places