OAI/Probability/SKValue/Gaussian/
136 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- BrownianCoordinates.lean 6 declarations
- CoordinateDependsBefore.lean 5 declarations
- CoupledCoordinates.lean 8 declarations
- DensityDerivative.lean 4 declarations
- DensityJump.lean 17 declarations
- EvenEvolution.lean 6 declarations
- GaussianFactor.lean 4 declarations
- GaussianSquareVariance.lean 22 declarations
- IntegralPositiveMulGaussian.lean 4 declarations
- ProfileLawStability.lean 1 declarations
- ProfileSplit.lean 17 declarations
- ShiftedBrownianCoordinates.lean 6 declarations
- SplitConvergence.lean 19 declarations
- SplitJets.lean 2 declarations
- SplitShape.lean 7 declarations
- UniformError.lean 8 declarations