OAI/Probability/LatticeSurface/Brownian/GaussianCovarianceSupport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BrownianForcing.integrable_covariance_vector line 13
2. theorem OAI.BrownianForcing.covariance_vector line 20