OAI/Probability/BenjaminiSchramm/CriticalUpwardDecay.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.weightHit_antitone line 13
2. lemma OAI.CriticalPercolation.BondGraph.weightHit_le_modularMass line 17
3. lemma OAI.CriticalPercolation.BondGraph.not_iInter_weightHit_nat_of_mass_ne_top line 27
4. theorem OAI.CriticalPercolation.BondGraph.tendsto_weightHit_nat_zero line 34
5. lemma OAI.CriticalPercolation.BondGraph.Aut.weightHit_preimage line 48
6. lemma OAI.CriticalPercolation.BondGraph.Aut.weightHit_real line 60
7. theorem OAI.CriticalPercolation.BondGraph.uniform_weightHit_nat_small line 69
8. theorem OAI.CriticalPercolation.BondGraph.nonunimodular_critical_upward_decay line 83