OAI/Probability/SKSupport/Moments/
133 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- BurgersJets.lean 19 declarations
- Curvature.lean 8 declarations
- FamilyReparam.lean 3 declarations
- FiniteStrictConvex.lean 4 declarations
- IntegratedCompletionSquare.lean 4 declarations
- JetFields.lean 16 declarations
- NormalFirstMoment.lean 4 declarations
- NormalThirdMoment.lean 5 declarations
- PerturbationLimits.lean 16 declarations
- PositiveGradientError.lean 7 declarations
- SquareEquation.lean 15 declarations
- StrictMoments.lean 4 declarations
- StripSquareMoment.lean 15 declarations
- ThirdFields.lean 13 declarations