OAI/Probability/SLE/Loewner/RawRestartGreenKernel.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The canonical mass's Green decomposition transfers to the full original past at every time after a finite restart.

  1. lemma OAI.SLEExactGauge.Multipoint.bind_kernel_add line 19
  2. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.raw_green_kernel line 42
  3. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.raw_restarted_green_kernel line 83