☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
zeta-rigidity
0.2.0
A rigidity theorem: a valuation whose Dirichlet series matches the Riemann zeta function must be the ordinary primes.
#math
#number-theory
#analytic-number-theory
#prime-numbers
#riemann-zeta-function
#formalization
Transitive
Include transitive dependencies
Sort by
Require Order
Registry dependency.
Found on Reservoir.
mathlib
v4.34.1
The math library of Lean 4
1
20
zeta-rigidity0.2.0zeta-rigidity0.2.0