Talk:Euler Phi Function in terms of Möbius Function

I would actually want to call Sum of Möbius Function over Divisors/Lemma, "sum of Mobius function over divisors" and call this "Euler Phi Function in terms of Möbius Function". Caliburn (talk) 12:15, 29 October 2023 (UTC)

Job done --prime mover (talk) 16:59, 29 October 2023 (UTC)