OAI/Probability/SLE/Angle/TargetNormalizedFiltration.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The exact time change of the natural Brownian past for the source-prescribed normalized driver.

  1. def OAI.SLEExactGauge.Target.normalizedFiltration line 16
  2. theorem OAI.SLEExactGauge.Target.normalizedFiltration_scaled line 22
  3. theorem OAI.SLEExactGauge.Target.normalizedFiltration_at line 55