OAI/Probability/SLE/Angle/AnglePolynomialLogField.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Smooth Green-weighted polynomial tests in the actual Loewner state.

  1. def OAI.SLEExactGauge.logPolynomialDensity line 11
  2. lemma OAI.SLEExactGauge.polynomial_eval_contDiff line 14
  3. lemma OAI.SLEExactGauge.logPolynomialDensity_contDiff line 18
  4. lemma OAI.SLEExactGauge.real_second_mul line 23
  5. lemma OAI.SLEExactGauge.polynomial_second line 42
  6. lemma OAI.SLEExactGauge.logPolynomialDensity_second line 49
  7. lemma OAI.SLEExactGauge.logPolynomialDensity_directional line 74