OAI/Probability/SLE/Loewner/ReverseConeContraction.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Reverse trajectories in a vertical cone have a dissipative difference equation. The contraction includes a boundary initial point.

  1. lemma OAI.SLEExactGauge.reverse_coefficient_re_nonpos line 14
  2. theorem OAI.SLEExactGauge.reverse_trajectories_contract_in_cones line 36