OAI/Probability/SLE/Mass/HalfPlaneZeroMass.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A holomorphic map with nonnegative imaginary part, vanishing value and zero mass at infinity is identically zero.

  1. lemma OAI.SLEExactGauge.holomorphic_nonnegative_im_dichotomy line 14
  2. theorem OAI.SLEExactGauge.halfPlane_zero_mass_eq_zero line 39
  3. theorem OAI.SLEExactGauge.holomorphic_zero_hydrodynamic_mass line 59