OAI/Probability/SLE/Geometry/PastDensityIntegral.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Equality of densities on stopped-past events also identifies every nonnegative measurable test of that same past.

  1. lemma OAI.SLEExactGauge.past_density_test_integral line 13