OAI/Probability/SLE/Gauge/FiniteStoppedThreshold.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Threshold tests on the finite part of an extended stopping time belong to its stopped past. No terminal mass is tested on the infinite event.

  1. def OAI.SLEExactGauge.finiteStoppedThreshold line 14
  2. lemma OAI.SLEExactGauge.finiteStoppedThreshold_measurable line 18