OAI/Probability/SLE/Gauge/StrictPastSpatial.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Spatial Green-integral versions of the strict past-mass identities.

  1. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.strict_past_mass_spatial line 25
  2. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.finite_strict_past_spatial line 39