OAI/Probability/SLE/Loewner/RawBoundaryTraceIdentification.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A positive reverse solution that starts at the driver and satisfies the local cone estimate ends at the exact raw trace.

  1. theorem OAI.SLEExactGauge.Target.boundary_reverse_eq_trace_of_cone line 14