OAI/Probability/SKBarriers/Calculus/
207 declarations, 0 contain sorry, 0 declared as axioms; 41 files
Files
- BilinearSchur.lean 4 declarations
- BrascampLieb.lean 8 declarations
- CoordinateBounds.lean 5 declarations
- CoordinateGaussianLaw.lean 5 declarations
- CoordinatePrefix.lean 1 declarations
- CoordinateSigns.lean 19 declarations
- CoordinateStein.lean 2 declarations
- CubeDifferentiation.lean 9 declarations
- CubeMeasures.lean 15 declarations
- CubeMoments.lean 6 declarations
- CubeVariance.lean 2 declarations
- HessianAlgebra.lean 4 declarations
- HessianBounds.lean 3 declarations
- HessianConvexity.lean 4 declarations
- IntervalDifferentiation.lean 3 declarations
- MarginalDerivatives.lean 6 declarations
- MarginalPotential.lean 4 declarations
- MarginalSecondDerivative.lean 5 declarations
- MarginalVariance.lean 2 declarations
- ParameterAlgebra.lean 10 declarations
- ParameterAverage.lean 2 declarations
- ParameterBilinear.lean 2 declarations
- ParameterCalculus.lean 9 declarations
- ParameterComposition.lean 2 declarations
- ParameterDerivatives.lean 6 declarations
- ParameterFieldMap.lean 4 declarations
- ParameterFiniteLog.lean 3 declarations
- ParameterGrowth.lean 13 declarations
- ParameterHierarchyMoment.lean 3 declarations
- ParameterIntegral.lean 3 declarations
- ParameterInverse.lean 1 declarations
- ParameterLinear.lean 4 declarations
- ParameterMomentSquare.lean 1 declarations
- ParameterProduct.lean 4 declarations
- ParameterProducts.lean 7 declarations
- ParameterRecursion.lean 2 declarations
- ParameterSmooth.lean 4 declarations
- ParameterSpace.lean 9 declarations
- ParameterStepDerivative.lean 4 declarations
- ParameterWeakGrowth.lean 2 declarations
- StronglyConvexVariance.lean 5 declarations