OAI/Probability/SLE/Loewner/TargetEulerBridge.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The bounded equation underlying the explicitly prescribed Euler flow. The cutoff is inactive on any path whose height stays above its threshold.

  1. lemma OAI.SLEExactGauge.Target.cutoffField_eq_reciprocal line 15
  2. lemma OAI.SLEExactGauge.Target.exists_cutoff_solution line 24