OAI/Probability/SLE/Stochastic/PlanarWienerAverage.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Exact Gaussian averaging for every event in the planar Wiener past.

  1. lemma OAI.SLEExactGauge.planarWiener_set_integral_average line 14