OAI/Probability/SLE/Loewner/InverseCircleArea.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Inversion of circle averages and the elementary signed-area identity for a map with leading term z and a holomorphic inverse-radius remainder.

  1. lemma OAI.SLEExactGauge.circleAverage_inv_radius line 13
  2. lemma OAI.SLEExactGauge.inverse_area_density_identity line 29