OAI/Probability/SLE/Geometry/DiskQuarterDistortion.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Two-sided derivative comparison on the fixed quarter disk.

  1. lemma OAI.SLEExactGauge.univalent_quarter_derivative_lower line 14
  2. lemma OAI.SLEExactGauge.univalent_quarter_derivative_bounds line 50
  3. lemma OAI.SLEExactGauge.IsCapacityTwoWitness.quarter_disk_derivative_bounds line 57