OAI/Probability/SLE/Geometry/CanonicalDiskTails.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The tails of the actual finite centered disk laws increase with the radius level. Their supremum is sufficient; no infinite tilted path law is postulated.

  1. lemma OAI.SLEExactGauge.measure_joint_tail_of_lintegral line 17
  2. def OAI.SLEExactGauge.Multipoint.CanonicalMass.centeredDiskTail line 46
  3. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.centeredDiskTail_eq_integral line 49
  4. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.diskAtRadius_tail_mono line 63
  5. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.centeredDiskTail_mono line 96