Commit 2023-10-25 07:40 8c5a066b
View on Github →feat(NumberTheory/ArithmeticFunction): lemma about lcm, gcd and multiplicative functions (#7787) This lemma came out of my Selberg sieve project.
feat(NumberTheory/ArithmeticFunction): lemma about lcm, gcd and multiplicative functions (#7787) This lemma came out of my Selberg sieve project.