OAI/Probability/SLE/Geometry/HolomorphicRadialFlux.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Complex-coordinate expression for the radial flux of a squared holomorphic norm.

  1. lemma OAI.SLEExactGauge.holomorphic_radial_flux line 14