Commit 2024-03-28 10:26 d2f16b1b
View on Github →feat(NumberTheory/ArithmeticFunction): Basic lemmas about μ^2 (#10672)
Basic results stating μ^2 is the indicator function for squarefree natural numbers. This came up during my Selberg sieve project.