OAI/Probability/SLE/Mass/CanonicalMassCompensator.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Predictable dyadic recovery for the actual compact weighted canonical mass. The time argument is the one used by the given filtration.

  1. def OAI.SLEExactGauge.compensatorMeshFiltration line 14
  2. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.compactWeightedMass_compensator_recovery line 28