OAI/Probability/SLE/Geometry/FiniteCenteredPast.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Strict past tests of the finite centered laws and their increasing-level limit. The event remains strictly before the marked radius level.

  1. lemma OAI.SLEExactGauge.Multipoint.finiteCenteredLaw_strict_past line 26
  2. lemma OAI.SLEExactGauge.Multipoint.finiteCenteredLaw_strict_past_tendsto line 61