OAI/Probability/SLE/Gauge/PrescribedApproachTransfer.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Passing an adapted failure event through the final radius stop. The terminal candidate event is used only for set inclusion, outside the finite change of law.

  1. theorem OAI.SLEExactGauge.prescribed_missed_cell_bound_of_adapted_failure line 17