mathlib

e6c6f006 - feat(number_theory/arithmetic_function): The moebius function is multiplicative (#12796)

feat(number_theory/arithmetic_function): The moebius function is multiplicative (#12796) A fundamental property of the moebius function is that it is multiplicative, which allows many facts about Euler products to be expressed