OAI/Probability/SLE/Loewner/StoppedInverseKernel.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The actual inverse image of the fresh canonical mass has the original Green remainder kernel in the full filtration after the restart.

  1. lemma OAI.SLEExactGauge.Multipoint.weightedImageMass_add line 16
  2. lemma OAI.SLEExactGauge.Multipoint.weighted_rectangle_lintegral line 22
  3. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.stoppedFreshMass_green_kernel line 60