OAI/Probability/SLE/Stochastic/PlanarDynkinStep.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform one-step error for compact smooth planar Brownian tests.

  1. lemma OAI.SLEExactGauge.planarWiener_taylor_set_error line 16
  2. lemma OAI.SLEExactGauge.planarWiener_one_step_error line 70