OAI/Probability/SLE/Mass/SubSigmaRadonLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A vague Radon limit has a version measurable in the same sigma-algebra as its approximants. The probability measure may use a larger sigma-algebra; the exceptional convergence set is detected by countably many tests.

  1. theorem OAI.SLEExactGauge.exists_subsigma_radon_version_identified line 19
  2. theorem OAI.SLEExactGauge.exists_subsigma_radon_version line 68