OAI/Probability/SLE/Mass/RationalTraceMassLocalVariation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Local total-variation continuity of the half-plane reconstruction. Only the mass of a fixed compact is used; the terminal mass may be infinite.

  1. lemma OAI.SLEExactGauge.halfPlane_regular_add line 16
  2. theorem OAI.SLEExactGauge.HalfPlaneTraceIncrements.local_variation_continuity line 23
  3. theorem OAI.SLEExactGauge.HalfPlaneTraceIncrements.exists_locally_tv_continuous_extension line 119