OAI/Probability/SLE/Geometry/RestartGreenIntegral.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Change of variables for the conditional Green potential at a restart. The identity accepts arbitrary nonnegative spatial tests.

  1. theorem OAI.SLEExactGauge.IsCapacityTwoWitness.restart_green_integral line 15