OAI/Probability/SLE/Loewner/HalfPlaneDisplacementBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The total hydrodynamic mass bounds a nonnegative-imaginary displacement.

  1. lemma OAI.SLEExactGauge.hydrodynamic_vertical_limits line 12
  2. lemma OAI.SLEExactGauge.nonnegative_im_hydrodynamic_bound line 37