OAI/Probability/SLEGauge/RecoveredInteriorRestart.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Hausdorff gauges, Loewner evolution and trace measures.

  1. theorem OAI.SLEExactGauge.LoewnerRestart.recoveredPostStop_eq_recoveredRestart line 22
  2. theorem OAI.SLEExactGauge.LoewnerRestart.recoveredMass_interior_restart line 113
  3. lemma OAI.SLEExactGauge.LoewnerRestart.restartPush_positive line 160
  4. theorem OAI.SLEExactGauge.LoewnerRestart.recoveredMass_positive_after_stop line 177
  5. lemma OAI.SLEExactGauge.LoewnerRestart.measure_sub_antitone_right line 209
  6. theorem OAI.SLEExactGauge.LoewnerRestart.recoveredMass_positive_increments line 218
  7. lemma OAI.ExactSLEGreen.recoveredMass_compact_stronglyAdapted line 282
  8. theorem OAI.ExactSLEGreen.recoveredMass_stopped_condExp line 295
  9. theorem OAI.ExactSLEGreen.recoveredMass_extraction_unique line 340
  10. theorem OAI.SLEExactGauge.TraceMassContinuity.actual_canonical_trace_mass line 429
  11. lemma OAI.SLEExactGauge.CenteredMoments.diskMass_mono line 513
  12. lemma OAI.SLEExactGauge.CenteredMoments.diskMass_inner_le_enorm line 521
  13. theorem OAI.SLEExactGauge.CenteredMoments.common_limit_disk_tilted_moment line 528