OAI/Probability/SLE/Stochastic/WienerRealSupport.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform support of the real Wiener law on a finite time window, proved from its Gaussian finite-dimensional laws and continuous paths.

  1. theorem OAI.SLEExactGauge.wienerReal_uniform_tube_pos line 13