OAI/Probability/CriticalPercolation/Clusters/ClusterNumber.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.Aut.atMostOneInfinite_image_iff line 17
2. lemma OAI.CriticalPercolation.BondGraph.atMostOneInfinite_zero_one line 33
3. lemma OAI.CriticalPercolation.BondGraph.no_finite_infiniteClusterCover_ae_of_unique_null line 40
4. def OAI.CriticalPercolation.BondGraph.infinitelyManyInfiniteClusters line 60
5. lemma OAI.CriticalPercolation.BondGraph.infinitelyManyInfiniteClusters_iff_no_finite_cover line 64
6. theorem OAI.CriticalPercolation.BondGraph.unique_or_infinitely_many_ae line 71