OAI/Probability/BenjaminiSchramm/GhostVolume.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Percolation.BenjaminiSchramm.markedConnection_le_truncated_tails line 14
2. theorem OAI.Percolation.BenjaminiSchramm.inverse_sqrt_step line 40
3. theorem OAI.Percolation.BenjaminiSchramm.sum_inverse_sqrt_le line 55
4. theorem OAI.Percolation.BenjaminiSchramm.markedConnection_le_sqrt_scale line 64
5. theorem OAI.Percolation.BenjaminiSchramm.finiteClusterTail_le_volume_probability line 98
6. theorem OAI.Percolation.BenjaminiSchramm.finiteClusterTail_le_criticalTail line 133