OAI/Probability/SLE/Loewner/InitialForwardBaseBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform interior control at a single exterior base point for every initial chart.

  1. lemma OAI.SLEExactGauge.initialForwardChart_base_bounds line 13
  2. lemma OAI.SLEExactGauge.initialForward_base_mem_domain line 30