OAI/Probability/CriticalPercolation/Modular/CappedDiscrepancy.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CriticalPercolation.capped_gap_nonneg line 16
  2. def OAI.CriticalPercolation.cappedMass line 28
  3. lemma OAI.CriticalPercolation.cappedMass_nonneg line 30
  4. lemma OAI.CriticalPercolation.cappedMass_gap line 34
  5. def OAI.CriticalPercolation.BondGraph.edgeClusterMass line 51
  6. lemma OAI.CriticalPercolation.BondGraph.edgeClusterMass_insert_gap line 54
  7. lemma OAI.CriticalPercolation.BondGraph.capped_edge_gap line 69
  8. def OAI.CriticalPercolation.BondGraph.clusterDiscrepancy line 83
  9. def OAI.CriticalPercolation.BondGraph.edgeDiscrepancy line 86
  10. lemma OAI.CriticalPercolation.BondGraph.expect_edgeDiscrepancy line 89
  11. lemma OAI.CriticalPercolation.BondGraph.endpoint_prob_le_discrepancy line 124
  12. lemma OAI.CriticalPercolation.BondGraph.sum_edgeDiscrepancy line 139