OAI/Probability/SLE/Loewner/CanonicalHydrodynamic.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Hydrodynamic normalization transfers through countably many spatial tests, followed by continuity on the open surviving domain.

  1. lemma OAI.SLEExactGauge.measurableSet_raw_dense_infinity line 21
  2. lemma OAI.SLEExactGauge.ae_canonical_dense_infinity line 51