OAI/Probability/SLEGauge/ExactGaugeEndpoint.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Hausdorff gauges, Loewner evolution and trace measures.

  1. lemma OAI.SLEExactGauge.allFrontiers_im_nonneg line 19
  2. lemma OAI.SLEExactGauge.compact_subset_integer_box line 25
  3. lemma OAI.SLEExactGauge.capacity_dimension_eq line 35
  4. theorem OAI.SLEExactGauge.Target.exactHausdorffGauge line 45