OAI/Analysis/Steinitz/
1243 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- Adaptive.lean 14 declarations
- Chaining.lean 60 declarations
- Coefficients.lean 78 declarations
- Correlation.lean 120 declarations
- Energy.lean 26 declarations
- Filter.lean 48 declarations
- FilterMoments.lean 45 declarations
- FilteredBody.lean 20 declarations
- Gain.lean 66 declarations
- GaussianKernel.lean 18 declarations
- GaussianProcess.lean 22 declarations
- GaussianTail.lean 19 declarations
- HeatEnergy.lean 38 declarations
- HeatL2.lean 158 declarations
- KernelConvexity.lean 7 declarations
- LiftedRearrangement.lean 26 declarations
- Main.lean 4 declarations
- MatrixEnergy.lean 53 declarations
- Model.lean 3 declarations
- PathLaws.lean 47 declarations
- Predictor.lean 24 declarations
- Prekopa.lean 51 declarations
- Rearrangement.lean 79 declarations
- Scales.lean 45 declarations
- SectionEnergy.lean 48 declarations
- SigningData.lean 30 declarations
- Spectral.lean 35 declarations
- Survival.lean 49 declarations
- Transference.lean 10 declarations