OAI/Combinatorics/TriangleRemoval/Process/TriangleIndex.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SharpTerminalLeave.TriangleIndex line 16
  2. def OAI.SharpTerminalLeave.triangleRequired line 17
  3. theorem OAI.SharpTerminalLeave.triangle_copyCount line 19
  4. theorem OAI.SharpTerminalLeave.triangle_copyEdgeLoad line 25
  5. def OAI.SharpTerminalLeave.earlyTriangleScale line 36
  6. def OAI.SharpTerminalLeave.triangleNoiseLoad line 37
  7. def OAI.SharpTerminalLeave.PrefixTriangleNoise line 39
  8. lemma OAI.SharpTerminalLeave.earlyTriangleScale_regular line 43
  9. lemma OAI.SharpTerminalLeave.completeGraph_early_mass line 62
  10. lemma OAI.SharpTerminalLeave.triangleDegree_complete line 69
  11. lemma OAI.SharpTerminalLeave.triangleCount_complete_formula line 74
  12. lemma OAI.SharpTerminalLeave.initial_triangle_relative_error line 85
  13. lemma OAI.SharpTerminalLeave.initial_triangle_ratio_le_two line 98
  14. lemma OAI.SharpTerminalLeave.densityEdgeSafe_triangle_load line 106