OAI/Probability/SLE/Mass/ConvexCurrentMean.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Convex tail averages of current conditional mean measures have the same signed compact-test limit as the original radius levels.

  1. theorem OAI.SLEExactGauge.Multipoint.convexCurrentMean_test_tendsto line 16