OAI/Analysis/Littlewood/
512 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- AlmostSign.lean 1 declarations
- Averages.lean 24 declarations
- BinaryPacket.lean 49 declarations
- BlockSampling.lean 14 declarations
- Chunks.lean 36 declarations
- Curvature.lean 4 declarations
- Cutoff.lean 2 declarations
- DependentMoments.lean 22 declarations
- FiniteFlatness.lean 1 declarations
- FiniteRank.lean 22 declarations
- FlatnessModel.lean 3 declarations
- Gaussian.lean 16 declarations
- IntervalPacking.lean 18 declarations
- Main.lean 7 declarations
- Matching.lean 2 declarations
- MinimizingFamily.lean 26 declarations
- ModeSampling.lean 13 declarations
- Model.lean 3 declarations
- Nibble.lean 41 declarations
- ProductProbability.lean 34 declarations
- QuadraticTail.lean 37 declarations
- Rounding.lean 33 declarations
- SamplingEnergy.lean 15 declarations
- SamplingTail.lean 15 declarations
- SlotGraph.lean 19 declarations
- SlotParameters.lean 22 declarations
- Spreading.lean 33 declarations