OAI/Probability/SLE/Geometry/StoppedFutureGreen.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Every later Green remainder transforms under the same stopped inverse map and the same derivative weight as the canonical mass.

  1. theorem OAI.SLEExactGauge.Multipoint.stopped_future_green_covariance line 19