Commit 2024-12-06 16:19 6d1d83d9
View on Github →feat: Count the number of pairs of Nats whose lcm is n (#17614)
This result is central to controlling the error term in my formalisation of the Selberg sieve. Specifically to count the number of terms in a sum.