OAI/Probability/SLE/Mass/LevelMeanMeasure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The exact mean measure of every terminal level approximation.

  1. def OAI.SLEExactGauge.Multipoint.initialGreenMeasure line 15
  2. lemma OAI.SLEExactGauge.Multipoint.initialGreenMeasure_finite_on_compacts line 18
  3. lemma OAI.SLEExactGauge.Multipoint.halfPlaneLevelMeasure_measurable line 33
  4. theorem OAI.SLEExactGauge.Multipoint.halfPlaneLevelMeasure_terminal_mean line 46
  5. theorem OAI.SLEExactGauge.Multipoint.halfPlaneLevelMeasure_terminal_test_mean line 68