OAI/Probability/SLE/Geometry/CanonicalInteriorBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The canonical finite-law failure estimate gives the exact uniform interior bound used in the prescribed upper cover.

  1. def OAI.SLEExactGauge.Multipoint.CanonicalMass.prescribedCenteredFailure line 19
  2. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.eventually_prescribed_interior_bound line 27