Hardy zeta

11. Checked Lean source🔗

These excerpts come from the proof project. Move the pointer over a Lean term to see its type.

  1. 11.1. HardyZeta.CriticalLine
  2. 11.2. HardyZeta.ExponentialFourier
  3. 11.3. HardyZeta.FiniteDifference
  4. 11.4. HardyZeta.FiniteDifferenceCompact
  5. 11.5. HardyZeta.FiniteDifferenceFlat
  6. 11.6. HardyZeta.FiniteDifferenceIntegral
  7. 11.7. HardyZeta.Hardy
  8. 11.8. HardyZeta.HardyDifferenceLimit
  9. 11.9. HardyZeta.HardyWeight
  10. 11.10. HardyZeta.MomentAlgebra
  11. 11.11. HardyZeta.Reality
  12. 11.12. HardyZeta.SectorGeometry
  13. 11.13. HardyZeta.TailComparison
  14. 11.14. HardyZeta.Theta
  15. 11.15. HardyZeta.ThetaContour
  16. 11.16. HardyZeta.ThetaCusp
  17. 11.17. HardyZeta.ThetaDecay
  18. 11.18. HardyZeta.ThetaInversion
  19. 11.19. HardyZeta.ThetaKernelBounds
  20. 11.20. HardyZeta.ThetaPath
  21. 11.21. HardyZeta.ThetaTransform
  22. 11.22. HardyZeta.ZeroTopology
  23. 11.23. FourExponentials.Statement
  24. 11.24. SharpFiveExponentials.Statement