Documentation
LeanPool
.
Zeta3Irrational
.
Imports
Search
return to top
source
Imports
Init
LeanPool.Zeta3Irrational
LeanPool.Zeta3Irrational.Basic
LeanPool.Zeta3Irrational.Bound
LeanPool.Zeta3Irrational.Chebyshev
LeanPool.Zeta3Irrational.D
LeanPool.Zeta3Irrational.Equality
LeanPool.Zeta3Irrational.Integral
LeanPool.Zeta3Irrational.LegendrePoly
LeanPool.Zeta3Irrational.LinearForm
Imported by