OAI/Probability/SLE/Gauge/WindowDenseTests.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Adapted tests need conditional estimates only inside the retained scale window. The discarded early scales need no dense estimate.

  1. theorem OAI.SLEExactGauge.cover_window_failure_bound_on_window line 14