OAI/Probability/LogConcave/Analysis/
318 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- AffinePotential.lean 25 declarations
- CenteringPotential.lean 14 declarations
- CompactGibbsIbp.lean 5 declarations
- ConditionalPotential.lean 14 declarations
- EulerDrift.lean 40 declarations
- GaussianAffineNormMoment.lean 10 declarations
- GaussianCoefficient.lean 15 declarations
- GaussianMarginalLowerTail.lean 4 declarations
- GaussianPairSumLaw.lean 4 declarations
- GaussianProposalPotential.lean 10 declarations
- GibbsOpenPos.lean 4 declarations
- GibbsProportional.lean 1 declarations
- GrowthInnerGradient.lean 2 declarations
- InterpolationHessianBudget.lean 5 declarations
- InterpolationPotential.lean 18 declarations
- Law.lean 33 declarations
- Operator.lean 42 declarations
- Poincare.lean 6 declarations
- PoincareVectorVariance.lean 6 declarations
- PrimitivePotentialModeBounds.lean 12 declarations
- ProductPotentialMeasurable.lean 5 declarations
- ProposalLog.lean 40 declarations
- SymmetricGradientDerivative.lean 3 declarations