OAI/Combinatorics/SharpThreshold/FourierAnalysis.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Finite biased Fourier analysis and scalar and tensor fourth-moment estimates.
This file declares nothing itself. It gathers the 7 imports below, so a file that imports it gets all of them.
Imports
- OAI.Combinatorics.SharpThreshold.FourierBasis
- OAI.Combinatorics.SharpThreshold.FourierOrthogonality
- OAI.Combinatorics.SharpThreshold.FourierOption
- OAI.Combinatorics.SharpThreshold.FourierRestriction
- OAI.Combinatorics.SharpThreshold.FourierNoise
- OAI.Combinatorics.SharpThreshold.TwoPoint
- OAI.Combinatorics.SharpThreshold.HypercontractiveTensor