Documentation
LeanPool
.
Chudnovsky
.
Imports
Search
return to top
source
Imports
Init
LeanPool.Chudnovsky
LeanPool.Chudnovsky.Basic
LeanPool.Chudnovsky.Chudnovsky
LeanPool.Chudnovsky.Clausen
LeanPool.Chudnovsky.Coefficients
LeanPool.Chudnovsky.ComplexMult
LeanPool.Chudnovsky.DivisionValues
LeanPool.Chudnovsky.Estimates
LeanPool.Chudnovsky.Fourier
LeanPool.Chudnovsky.Kummer
LeanPool.Chudnovsky.Lattices
LeanPool.Chudnovsky.Liouville
LeanPool.Chudnovsky.MainTheorem
LeanPool.Chudnovsky.Numerics
LeanPool.Chudnovsky.PicardFuchs
LeanPool.Chudnovsky.Quasiperiods
LeanPool.Chudnovsky.Ramanujan
LeanPool.Chudnovsky.SigmaZeta
LeanPool.Chudnovsky.SingularModuli
LeanPool.Chudnovsky.WeierstrassMore
LeanPool.Chudnovsky.SingularModuli.CMRelations
LeanPool.Chudnovsky.SingularModuli.CosetOrbit
LeanPool.Chudnovsky.SingularModuli.FormReduction
LeanPool.Chudnovsky.SingularModuli.JFunction
LeanPool.Chudnovsky.SingularModuli.Kronecker
LeanPool.Chudnovsky.SingularModuli.MasserA1
LeanPool.Chudnovsky.SingularModuli.ModularPolynomialQ
LeanPool.Chudnovsky.SingularModuli.ModularPolynomialZ
LeanPool.Chudnovsky.SingularModuli.QuadraticPoints
LeanPool.Chudnovsky.SingularModuli.Rationality
LeanPool.Chudnovsky.SingularModuli.Valence
Imported by