OAI/Probability/SLE/Loewner/SlitHydrodynamicChart.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Static hydrodynamic normalization for the complement of an arbitrary simple attached arc. No time parametrization or Loewner equation is asserted.

  1. lemma OAI.SLEExactGauge.positive_real_affine_halfPlane line 13
  2. lemma OAI.SLEExactGauge.eq_ofReal_re_of_conj_eq line 34
  3. def OAI.SLEExactGauge.slitHydrodynamicMap line 42
  4. theorem OAI.SLEExactGauge.simple_slit_exists_hydrodynamic_chart line 45