OAI/Probability/CriticalPercolation/Clusters/ClusterUpdate.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.clusterUpdate line 20
2. lemma OAI.CriticalPercolation.BondGraph.expectedCluster_antitone line 25
3. lemma OAI.CriticalPercolation.BondGraph.clusterUpdate_monotone line 32
4. lemma OAI.CriticalPercolation.BondGraph.clusterUpdate_nonneg line 40
5. def OAI.CriticalPercolation.BondGraph.avoidedAverage line 45
6. lemma OAI.CriticalPercolation.BondGraph.clusterUpdate_exposure line 51
7. lemma OAI.CriticalPercolation.BondGraph.avoidedAverage_exposure line 84
8. lemma OAI.CriticalPercolation.BondGraph.clusterUpdate_stationary line 109