OAI/Probability/SLE/Geometry/BoundarySeparationRectangle.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A nonconstant continuous boundary value remains separated on a small upper rectangle.

  1. lemma OAI.SLEExactGauge.boundary_separation_rectangle line 13