OAI/Probability/SpanningForest/DenseGaussian.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336.DenseGaussian.hasLaw_finite_of_dense line 14
2. theorem OAI.Problem336.DenseGaussian.hasLaw_brownian_finite_of_dense line 63
3. theorem OAI.Problem336.DenseGaussian.isGaussianProcess_of_finite_laws line 87
4. theorem OAI.Problem336.DenseGaussian.hasLaw_eval_of_finite_laws line 98
5. theorem OAI.Problem336.DenseGaussian.integral_of_finite_laws line 109
6. theorem OAI.Problem336.DenseGaussian.covariance_of_finite_laws line 116