OAI/Probability/SLE/Loewner/ReflectedSlitRiemann.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A Riemann chart including infinity for the complement of a reflected simple slit. Zero in this domain represents infinity before inversion.

  1. theorem OAI.SLEExactGauge.reflected_slit_inverted_simplyConnected line 14
  2. theorem OAI.SLEExactGauge.reflected_slit_exists_inverted_disk_chart line 47