OAI/Computability/MinUncut/Graphs/Vertex.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Box.vertex line 19
  2. def OAI.MinUncut.Box.moment line 22
  3. def OAI.MinUncut.Box.correlation line 25
  4. def OAI.MinUncut.Box.Local line 29
  5. lemma OAI.MinUncut.Box.expect_cons line 33
  6. lemma OAI.MinUncut.Box.prod_cons line 38
  7. lemma OAI.MinUncut.Box.vertex_cons line 45
  8. lemma OAI.MinUncut.Box.moment_succ line 53
  9. lemma OAI.MinUncut.Box.expect_pow_two_pow line 64
  10. lemma OAI.MinUncut.Box.expect_sq_le line 76
  11. lemma OAI.MinUncut.Box.face_zero line 81
  12. lemma OAI.MinUncut.Box.first_step line 86
  13. theorem OAI.MinUncut.Box.box_cs line 130
  14. lemma OAI.MinUncut.Box.abs_correlation_cs line 167