OAI/Probability/SLE/Geometry/RestartFutureGreen.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The same inverse-map change of variables holds for the Green remainder at every later time, including tests meeting the old trace.

  1. theorem OAI.SLEExactGauge.Multipoint.restart_future_halfPlane_green_test line 14