Documentation

LeanPool.SelbergSieve4

Selberg Sieve #

Source: url:https://archive.org/details/sievemethods0000halb Authors: Arend Mellendijk Status: verified Main declarations: fundamental_theorem_simple, primeCounting_isBigO_atTop, primesBetween_le Tags: number-theory, analytic-number-theory, sieve-theory, prime-counting MSC: 11N35, 11N05, 11N13