OAI/Combinatorics/TriangleRemoval/Queries/GridCollision.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SharpTerminalLeave.gridAnswer_tendsto_terminal line 21
  2. def OAI.SharpTerminalLeave.gridCollision line 30
  3. def OAI.SharpTerminalLeave.collisionCost line 35
  4. theorem OAI.SharpTerminalLeave.gridCollision_mem_unit line 40
  5. theorem OAI.SharpTerminalLeave.collisionCost_mem_unit line 45
  6. theorem OAI.SharpTerminalLeave.graph_cavity_error line 61