OAI/Probability/SKValue/GroundState/
511 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- AdaptiveColumns.lean 8 declarations
- AffineComparison.lean 12 declarations
- BlockCoeff.lean 15 declarations
- BranchLaw.lean 20 declarations
- BranchMeanUpper.lean 9 declarations
- CascadeMoments.lean 14 declarations
- CascadePassage.lean 10 declarations
- ColumnBounds.lean 12 declarations
- ConstantFatou.lean 2 declarations
- CrossExpectation.lean 2 declarations
- EmpiricalCalculus.lean 12 declarations
- EmpiricalEnergyLimit.lean 5 declarations
- EmpiricalLog.lean 6 declarations
- EmpiricalPower.lean 12 declarations
- EmpiricalVectors.lean 21 declarations
- ExponentialMoments.lean 15 declarations
- FieldTreeLaw.lean 13 declarations
- FiniteBranching.lean 8 declarations
- GaussianColumn.lean 18 declarations
- GaussianTranspose.lean 12 declarations
- GaussianTree.lean 18 declarations
- GramSchmidtLimit.lean 11 declarations
- GumbelMax.lean 11 declarations
- GumbelReplacement.lean 6 declarations
- LiteralLower.lean 9 declarations
- LogComparison.lean 9 declarations
- MainConclusions.lean 4 declarations
- PredictableNormalizer.lean 28 declarations
- QuadraticSK.lean 16 declarations
- RandomColumn.lean 17 declarations
- RandomGuerra.lean 15 declarations
- RotatedCoefficients.lean 40 declarations
- RoundingSpin.lean 7 declarations
- StandardGaussian.lean 39 declarations
- TreeGuerra.lean 13 declarations
- TreeProductLaw.lean 20 declarations
- TreeWidths.lean 14 declarations
- WeakGuerra.lean 8 declarations