OAI/Probability/CriticalPercolation/Criticality/LayerCounting.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.layerComponent line 20
2. def OAI.CriticalPercolation.BondGraph.openLayerExits line 23
3. lemma OAI.CriticalPercolation.BondGraph.openLayerExit_endpoints line 26
4. lemma OAI.CriticalPercolation.BondGraph.openLayerExit_child line 41
5. lemma OAI.CriticalPercolation.BondGraph.openLayerExit_common_component line 67
6. lemma OAI.CriticalPercolation.BondGraph.comparable_parents_card_le line 81
7. lemma OAI.CriticalPercolation.BondGraph.finite_relation_count line 104
8. lemma OAI.CriticalPercolation.BondGraph.layer_exit_fiber_card line 118
9. lemma OAI.CriticalPercolation.BondGraph.layer_seed_counting line 140