OAI/Probability/SLEGauge/MassMoments.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Hausdorff gauges, Loewner evolution and trace measures.

  1. theorem OAI.ExactSLEGreen.actual_mass_moment_bound line 31
  2. theorem OAI.ExactSLEMassExtraction.closed_convex_tail_intersection line 138
  3. theorem OAI.ExactSLEMassExtraction.convex_tail_coefficients line 192
  4. theorem OAI.ExactSLEMassExtraction.convex_tails_hilbert line 222
  5. theorem OAI.ExactSLEMassExtraction.common_convex_tails line 245
  6. theorem OAI.ExactSLEMassExtraction.simultaneous_ae_subsequence line 306
  7. theorem OAI.ExactSLEMassExtraction.coe_Lp_sum_smul line 350
  8. theorem OAI.ExactSLEMassExtraction.common_L2_convex_tails line 366