OAI/Probability/CriticalPercolation/Criticality/UniformDescendingFan.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.Aut.massTailEvent_preimage line 19
2. lemma OAI.CriticalPercolation.BondGraph.Aut.massTailEvent_real line 27
3. lemma OAI.CriticalPercolation.BondGraph.uniform_massTail_small line 37
4. lemma OAI.CriticalPercolation.BondGraph.real_descendingFan_lower line 58
5. theorem OAI.CriticalPercolation.BondGraph.uniform_descendingFans_of_light_percolation line 72
6. lemma OAI.CriticalPercolation.BondGraph.lower_uniform_descendingFan line 88
7. theorem OAI.CriticalPercolation.BondGraph.counterexample_descending_fans_subcritical line 106