OAI/Probability/SLE/Gauge/ActualDenseCoverProbability.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The missed-cell estimate from finite centered laws. Constants and the physical mesh are uniform over interior cutoffs and moving grid centers.

  1. theorem OAI.SLEExactGauge.uniform_actual_dense_cover_probability line 21