OAI/Probability/SLE/Geometry/FinitePastKernel.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Finite strict past events under a single finite centered law.

  1. lemma OAI.SLEExactGauge.Multipoint.finiteCenteredLaw_tests line 25
  2. lemma OAI.SLEExactGauge.Multipoint.finiteCenteredLaw_tests_tendsto line 46