OAI/Probability/CriticalPercolation/Clusters/InfiniteUniquenessGeometry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.distinctInfiniteEvent line 19
2. lemma OAI.CriticalPercolation.BondGraph.measurableSet_distinctInfiniteEvent line 23
3. lemma OAI.CriticalPercolation.BondGraph.distinctInfiniteEvent_subset_twoClusterEvent line 28
4. lemma OAI.CriticalPercolation.BondGraph.cluster_insert_edge_unchanged line 34
5. lemma OAI.CriticalPercolation.BondGraph.distinctInfinite_force_adjacent_length line 52
6. lemma OAI.CriticalPercolation.BondGraph.distinctInfinite_force_adjacent line 89
7. theorem OAI.CriticalPercolation.BondGraph.adjacent_distinctInfinite_null line 96