OAI/Probability/SLE/Angle/AngleMomentWeight.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The angular singularity in the centered moment estimate is integrable against the exact invariant angle law.

  1. lemma OAI.SLEExactGauge.Target.angle_inverse_sine_lintegral_lt_top line 15
  2. lemma OAI.SLEExactGauge.Target.angle_inverse_sine_integrable line 40