OAI/Probability/SLE/Loewner/RawForwardCoordinates.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact real coordinate equations before a raw survival lifetime.

  1. lemma OAI.SLEExactGauge.Target.flow_coordinate_derivatives line 12
  2. lemma OAI.SLEExactGauge.Target.flow_continuousOn_before_lifetime line 35