Commit 2020-11-20 06:44 de76acdc
View on Github →feat(number_theory/arithmetic_function): moebius is the inverse of zeta (#5001) Proves the most basic version of moebius inversion: that the moebius function is the inverse of the zeta function
feat(number_theory/arithmetic_function): moebius is the inverse of zeta (#5001) Proves the most basic version of moebius inversion: that the moebius function is the inverse of the zeta function