OAI/Probability/SLE/Gauge/PrescribedCanonicalTransfer.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The original-law missed-cell estimate in terms of the finite centered failure probability for the canonical tests.

  1. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.prescribed_missed_from_finite_failure line 19