OAI/Probability/SLELocalization/LoewnerCocycle.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Conformal localization and Loewner Cocycle estimates.

  1. theorem OAI.SLEExactGauge.loewner_inverse_cocycle line 16
  2. theorem OAI.SLEExactGauge.loewner_trace_composition_of_extension line 85