Documentation
LeanPool
.
ThreeGap
.
Imports
Search
return to top
source
Imports
Init
LeanPool.ThreeGap
LeanPool.ThreeGap.ChevallierCount
LeanPool.ThreeGap.ChevallierGapBound
LeanPool.ThreeGap.DeltaCost
LeanPool.ThreeGap.EuclideanAngle
LeanPool.ThreeGap.EuclideanDefect
LeanPool.ThreeGap.EuclideanFiveDistanceSharp
LeanPool.ThreeGap.EuclideanFiveDistanceSharpArith
LeanPool.ThreeGap.EuclideanGrowth
LeanPool.ThreeGap.EuclideanGrowthFive
LeanPool.ThreeGap.EuclideanGrowthFour
LeanPool.ThreeGap.EuclideanNN
LeanPool.ThreeGap.EuclideanPacking
LeanPool.ThreeGap.EuclideanRecords
LeanPool.ThreeGap.FiveDistance
LeanPool.ThreeGap.FiveDistanceHM
LeanPool.ThreeGap.LinftyFiveDistanceSharpArith
LeanPool.ThreeGap.LinftyThreeTorusNine
LeanPool.ThreeGap.ModTwoGrowth
LeanPool.ThreeGap.SimultaneousApprox
LeanPool.ThreeGap.SimultaneousDirichlet
LeanPool.ThreeGap.SupNormGrowth
LeanPool.ThreeGap.TorusReduction
Imported by