OAI/Probability/CriticalPercolation/Modular/CriticalHeavyIdentity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.clusterCountDrop line 17
2. lemma OAI.CriticalPercolation.BondGraph.clusterCountDrop_of_ends line 21
3. lemma OAI.CriticalPercolation.BondGraph.clusterCountDrop_mem line 30
4. lemma OAI.CriticalPercolation.BondGraph.measurable_clusterCountDrop line 36
5. lemma OAI.CriticalPercolation.BondGraph.integral_centered_incidentClusterCount line 48
6. theorem OAI.CriticalPercolation.BondGraph.expected_signed_discrepancy_drop line 76