OAI/Probability/SKSupport/Foundations/
259 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- AdaptedIndepIncrement.lean 5 declarations
- BoundedSmooth.lean 12 declarations
- Cascade.lean 12 declarations
- Const.lean 17 declarations
- Control.lean 8 declarations
- ControlledState.lean 10 declarations
- DerivVarianceHeatCurve.lean 8 declarations
- DerivWithinVarianceHeatWeightExp.lean 13 declarations
- ElementaryControl.lean 8 declarations
- Equation.lean 11 declarations
- ExpTranslateLocalBound.lean 6 declarations
- ExpectedVerificationStep.lean 1 declarations
- ExponentialBoundLipschitz.lean 17 declarations
- Finite.lean 10 declarations
- FiniteValue.lean 13 declarations
- GradientAbs.lean 5 declarations
- IntegrableCompBoundedDeriv.lean 1 declarations
- IntegralIoiMulExpSq.lean 3 declarations
- InvSqrtNegHalf.lean 19 declarations
- MeasurableSpatialDeriv.lean 5 declarations
- RightCoeffApprox.lean 4 declarations
- RightGenerator.lean 1 declarations
- Semigroup.lean 11 declarations
- SmoothingStep.lean 2 declarations
- SoftAbs.lean 15 declarations
- StepData.lean 13 declarations
- SumRangeBlocks.lean 12 declarations
- Taylor1Bound.lean 3 declarations
- VarianceHeat.lean 7 declarations
- VarianceHeatGradientBound.lean 7 declarations