OAI/Probability/BenjaminiSchramm/GhostMomentBound.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.quarterThreeQuarterMoment line 13
2. lemma OAI.CriticalPercolation.BondGraph.quarterThreeQuarterMoment_aut line 16
3. theorem OAI.CriticalPercolation.BondGraph.uniform_quarterGhost_moment_bound line 25
4. lemma OAI.CriticalPercolation.BondGraph.quarterGhost_square_bound line 68
5. lemma OAI.CriticalPercolation.BondGraph.quarterGhostWeight_threeHalf line 83
6. lemma OAI.CriticalPercolation.BondGraph.rebased_quarterGhost_square_bound line 91