OAI/Probability/SLE/Loewner/StoppedInverseGreenMean.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The actual weighted fresh terminal mass has exactly the same stopped Green kernel as the remaining original mass.

  1. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.stoppedFreshTerminalMass_green_test line 36
  2. lemma OAI.SLEExactGauge.Multipoint.past_rectangle_lintegral line 50
  3. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.stoppedFreshTerminalMass_kernel line 73
  4. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.stoppedFreshTerminalMass_published_kernel line 97