Documentation
Atlas
.
ProjectionTheory
.
ProjectionTheory
Search
return to top
source
Imports
Init
Atlas.ProjectionTheory.code.ABCSumProduct
Atlas.ProjectionTheory.code.AuxiliaryLemma
Atlas.ProjectionTheory.code.BKT2Robust
Atlas.ProjectionTheory.code.BKTLemma1
Atlas.ProjectionTheory.code.BKTLemma2
Atlas.ProjectionTheory.code.BKTLemma3
Atlas.ProjectionTheory.code.BKTLemma4
Atlas.ProjectionTheory.code.BKTProposition
Atlas.ProjectionTheory.code.BKTSumProduct
Atlas.ProjectionTheory.code.BKTTheorem
Atlas.ProjectionTheory.code.BSGProposition
Atlas.ProjectionTheory.code.BSGVar
Atlas.ProjectionTheory.code.BSGVariant
Atlas.ProjectionTheory.code.BalogSzemerediGowers
Atlas.ProjectionTheory.code.BandlimitedBound
Atlas.ProjectionTheory.code.BeckLemma
Atlas.ProjectionTheory.code.BeckTheorem
Atlas.ProjectionTheory.code.BombieriVinogradov
Atlas.ProjectionTheory.code.BorsukUlam
Atlas.ProjectionTheory.code.BourgainCorollary
Atlas.ProjectionTheory.code.BourgainKatzTao
Atlas.ProjectionTheory.code.BourgainLemma
Atlas.ProjectionTheory.code.BourgainLemma2
Atlas.ProjectionTheory.code.BourgainProjection
Atlas.ProjectionTheory.code.BourgainProjectionRestated
Atlas.ProjectionTheory.code.BourgainPropositions
Atlas.ProjectionTheory.code.CellDecomposition
Atlas.ProjectionTheory.code.ContagiousStructure
Atlas.ProjectionTheory.code.ContinuumBeck
Atlas.ProjectionTheory.code.DeltaRegular
Atlas.ProjectionTheory.code.DilatedSumsetExpansion
Atlas.ProjectionTheory.code.DirichletPrimesAP
Atlas.ProjectionTheory.code.DoubleCountingFF
Atlas.ProjectionTheory.code.DoubleCountingLower
Atlas.ProjectionTheory.code.DoubleCountingReal
Atlas.ProjectionTheory.code.DoubleCountingRealCor
Atlas.ProjectionTheory.code.DoubleCountingSimple
Atlas.ProjectionTheory.code.EpsilonBadPairs
Atlas.ProjectionTheory.code.EpsilonImprovement
Atlas.ProjectionTheory.code.ErdosVolkmann
Atlas.ProjectionTheory.code.EuclideanProjectionBound
Atlas.ProjectionTheory.code.FareySeparation
Atlas.ProjectionTheory.code.FiniteFieldProjection
Atlas.ProjectionTheory.code.FourierAffinePlane
Atlas.ProjectionTheory.code.FourierBoundFF
Atlas.ProjectionTheory.code.FourierBoundReal
Atlas.ProjectionTheory.code.FourierFF
Atlas.ProjectionTheory.code.FourierProjectionDictionary
Atlas.ProjectionTheory.code.FourierProjectionDiscrete
Atlas.ProjectionTheory.code.FourierProjectionSubspace
Atlas.ProjectionTheory.code.FreimanRuzsa
Atlas.ProjectionTheory.code.FurstenbergConjecture
Atlas.ProjectionTheory.code.FurstenbergCorollary
Atlas.ProjectionTheory.code.FurstenbergProposition
Atlas.ProjectionTheory.code.GGGHMW
Atlas.ProjectionTheory.code.GSW
Atlas.ProjectionTheory.code.GridProjectionBound
Atlas.ProjectionTheory.code.HamSandwich
Atlas.ProjectionTheory.code.HamSandwichFinite
Atlas.ProjectionTheory.code.HausdorffSpacing
Atlas.ProjectionTheory.code.HighFreqMultConv
Atlas.ProjectionTheory.code.IncidenceLemma
Atlas.ProjectionTheory.code.KeyLemmaBSG
Atlas.ProjectionTheory.code.L2BoundLineSum
Atlas.ProjectionTheory.code.L2MixingSigma1
Atlas.ProjectionTheory.code.LMWY
Atlas.ProjectionTheory.code.LargeSieveAvg
Atlas.ProjectionTheory.code.LargeSieveCorollary
Atlas.ProjectionTheory.code.LargeSieveMultConv
Atlas.ProjectionTheory.code.LargeSieveSize
Atlas.ProjectionTheory.code.Linnik
Atlas.ProjectionTheory.code.LinnikLargeSieve
Atlas.ProjectionTheory.code.LinnikParseval
Atlas.ProjectionTheory.code.MainLemma2F
Atlas.ProjectionTheory.code.MainLemma2R
Atlas.ProjectionTheory.code.MainLemmaFF
Atlas.ProjectionTheory.code.MainLemmaReal
Atlas.ProjectionTheory.code.Marstrand
Atlas.ProjectionTheory.code.MultConvLemma
Atlas.ProjectionTheory.code.MultConvLinftyBound
Atlas.ProjectionTheory.code.MultConvProjection
Atlas.ProjectionTheory.code.MultiplicativeConvolution
Atlas.ProjectionTheory.code.OSFurstenberg
Atlas.ProjectionTheory.code.OSRW
Atlas.ProjectionTheory.code.OSRWSharp
Atlas.ProjectionTheory.code.Oppenheim
Atlas.ProjectionTheory.code.OrponenShmerkin2021
Atlas.ProjectionTheory.code.OrthogonalityLines
Atlas.ProjectionTheory.code.OrthogonalityTubes
Atlas.ProjectionTheory.code.ParsevalFF
Atlas.ProjectionTheory.code.ParsevalHighFreq
Atlas.ProjectionTheory.code.Plunnecke
Atlas.ProjectionTheory.code.PlunneckeCorollary
Atlas.ProjectionTheory.code.PlunneckeLemma
Atlas.ProjectionTheory.code.PlunneckeSumProduct
Atlas.ProjectionTheory.code.PolyK
Atlas.ProjectionTheory.code.PolyKGrowth
Atlas.ProjectionTheory.code.PolynomialHamSandwich
Atlas.ProjectionTheory.code.ProjectionIncidence
Atlas.ProjectionTheory.code.ProjectionSmoothing
Atlas.ProjectionTheory.code.ProjectivePair
Atlas.ProjectionTheory.code.RuzsaTriangle
Atlas.ProjectionTheory.code.STProjectionVariant
Atlas.ProjectionTheory.code.SelbergExpansion
Atlas.ProjectionTheory.code.SelbergSpectralGap
Atlas.ProjectionTheory.code.SiegelWalfisz
Atlas.ProjectionTheory.code.SieveTheorem1S
Atlas.ProjectionTheory.code.Submultiplicative
Atlas.ProjectionTheory.code.SubmultiplicativeProjective
Atlas.ProjectionTheory.code.SzemerediTrotter
Atlas.ProjectionTheory.code.SzemerediTrotterProjection
Atlas.ProjectionTheory.code.TheoremOS
Atlas.ProjectionTheory.code.TwoEnds
Atlas.ProjectionTheory.code.UniformSet
Atlas.ProjectionTheory.code.Uniformization
Imported by