OAI/Probability/BenjaminiSchramm/WeightedGhostIncidence.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.ghostBondWeight line 13
2. def OAI.CriticalPercolation.BondGraph.threeEighthMass line 16
3. lemma OAI.CriticalPercolation.BondGraph.ghostBondWeight_change_base line 19
4. lemma OAI.CriticalPercolation.BondGraph.ghostBondWeight_le_at_end line 29
5. lemma OAI.CriticalPercolation.BondGraph.weighted_ghost_incidence_le line 52
6. lemma OAI.CriticalPercolation.BondGraph.ghostWeightedCount_eq line 103
7. theorem OAI.CriticalPercolation.BondGraph.expected_ghost_boundary_weight_le line 113