OAI/Probability/SLE/Gauge/PrescribedGridError.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Summing the interior failure bound and the boundary visit bound over the actual shifted mesh cancels the three powers of its scale.

  1. lemma OAI.SLEExactGauge.prescribed_grid_error_sum line 14
  2. lemma OAI.SLEExactGauge.prescribed_cleanup_power_cancellation line 40
  3. lemma OAI.SLEExactGauge.prescribed_cleanup_error_bound line 48