OAI/Probability/BenjaminiSchramm/TwoGhost.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.one_sub_exp_le_single_add_two_ghost line 10
2. lemma OAI.Percolation.BenjaminiSchramm.ghostKernel_le_derivative_add_two_ghost line 53
3. lemma OAI.Percolation.BenjaminiSchramm.integrable_ghostKernel_sq line 63
4. theorem OAI.Percolation.BenjaminiSchramm.ghostMagnetization_le_derivative_add_two_ghost line 71