OAI/Probability/SLE/Mass/RandomMeasureDifference.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Positive differences of locally finite random Radon measures admit measurable versions. No finite total mass is required.

  1. lemma OAI.SLEExactGauge.halfPlane_sub_finite_on_compacts line 17
  2. lemma OAI.SLEExactGauge.integral_halfPlane_sub line 21
  3. theorem OAI.SLEExactGauge.measurable_halfPlane_sub_of_le line 29
  4. theorem OAI.SLEExactGauge.exists_measurable_halfPlane_difference line 44