OAI/Probability/SLEGauge/EulerConvergence.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

Hausdorff gauges, Loewner evolution and trace measures.

  1. theorem OAI.SLEExactGauge.Parameter.weighted_young_pair line 31
  2. lemma OAI.SLEExactGauge.Parameter.hasDerivAt_factor_first line 90
  3. lemma OAI.SLEExactGauge.Parameter.deriv_factor line 101
  4. lemma OAI.SLEExactGauge.Parameter.factor_deriv_differentiable line 106
  5. lemma OAI.SLEExactGauge.Parameter.angleGenerator_factor line 116
  6. lemma OAI.SLEExactGauge.Parameter.shifted_sine_generator line 129
  7. theorem OAI.SLEExactGauge.Parameter.exact_factor_drift line 146
  8. def OAI.SLEExactGauge.AngleCalculus.angleD line 169
  9. lemma OAI.SLEExactGauge.AngleCalculus.hasFDerivAt_arg line 172
  10. lemma OAI.SLEExactGauge.AngleCalculus.angleD_apply line 177
  11. def OAI.SLEExactGauge.AngleCalculus.V line 181
  12. lemma OAI.SLEExactGauge.AngleCalculus.driver_angle line 183
  13. lemma OAI.SLEExactGauge.AngleCalculus.hasDerivAt_driver_V line 193
  14. lemma OAI.SLEExactGauge.AngleCalculus.deriv_driver_angle line 213
  15. lemma OAI.SLEExactGauge.AngleCalculus.secondDeriv_driver_angle line 218
  16. lemma OAI.SLEExactGauge.AngleCalculus.loewner_angle line 224
  17. lemma OAI.SLEExactGauge.AngleCalculus.angle_generator_coefficients line 236
  18. lemma OAI.SLEExactGauge.AngleCalculus.sin_angle_pos line 251
  19. def OAI.SLEExactGauge.AngleCalculus.physicalGenerator line 260
  20. lemma OAI.SLEExactGauge.AngleCalculus.driver_comp_first line 264
  21. lemma OAI.SLEExactGauge.AngleCalculus.driver_comp_second line 271
  22. lemma OAI.SLEExactGauge.AngleCalculus.physical_generator_angle line 289
  23. lemma OAI.SLEExactGauge.Calculus.fderiv_separable line 320
  24. lemma OAI.SLEExactGauge.Calculus.secondDeriv_linear line 342
  25. def OAI.SLEExactGauge.Parameter.physicalFactor line 362
  26. lemma OAI.SLEExactGauge.Parameter.physical_factor_state_derivative line 365
  27. theorem OAI.SLEExactGauge.Parameter.physical_factor_generator line 399
  28. lemma OAI.SLEExactGauge.Parameter.contDiffAt_arg_real line 430
  29. lemma OAI.SLEExactGauge.Parameter.contDiffAt_physical_factor line 437