OAI/Probability/SLE/Loewner/SmoothRawReverseEstimates.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Intermediate reverse-time estimates for constructing the raw slit.

  1. lemma OAI.SLEExactGauge.Target.smooth_raw_reverse_estimates line 12