OAI/Probability/SLE/InteriorDiskProof.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

Interior Disk Proof for chordal SLE.

  1. lemma OAI.SLEExactGauge.access_positive_height_cut line 13
  2. lemma OAI.SLEExactGauge.measure_eventually_mem_le line 57
  3. lemma OAI.SLEExactGauge.positive_affine_im line 74
  4. lemma OAI.SLEExactGauge.positive_affine_chart line 79
  5. lemma OAI.SLEExactGauge.affine_access_cut line 94
  6. def OAI.SLEExactGauge.SourceInteriorDiskRuleTarget line 143
  7. theorem OAI.SLEExactGauge.sourceInteriorDiskRule_proved line 160
  8. def OAI.SLEExactGauge.sourceScaleTime line 247
  9. def OAI.SLEExactGauge.sourceScaleTrace line 249
  10. def OAI.SLEExactGauge.sourceScaleChart line 252
  11. def OAI.SLEExactGauge.SourceCapacityScalingTarget line 258
  12. lemma OAI.SLEExactGauge.source_scale_time_image line 274
  13. lemma OAI.SLEExactGauge.source_scale_past line 285
  14. lemma OAI.SLEExactGauge.source_scale_halfplane line 291
  15. lemma OAI.SLEExactGauge.source_scale_bounded line 306
  16. lemma OAI.SLEExactGauge.source_scale_domain line 321
  17. lemma OAI.SLEExactGauge.source_scale_domain_iff line 351
  18. lemma OAI.SLEExactGauge.source_scale_halfplane_iff line 368
  19. lemma OAI.SLEExactGauge.source_scale_witness line 373
  20. theorem OAI.SLEExactGauge.sourceCapacityScaling line 474
  21. lemma OAI.SLEExactGauge.source_interior_disk_unnormalized line 498