OAI/Probability/SLE/Mass/RationalTraceMassAdaptedVersion.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Rational adapted versions determine one adapted all-time version on the same probability-one set on which the limiting compact tests are continuous.

  1. theorem OAI.SLEExactGauge.halfPlane_extension_adapted_common_version line 17