OAI/Probability/SLE/Loewner/InitialForwardKernel.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact chart composition turns the static small-slit estimate into an estimate for the evolving map's capacity difference quotient.

  1. theorem OAI.SLEExactGauge.initialForward_quotient_kernel line 15