OAI/Computability/VertexCover/PCP/AlphabetTableBounds.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.UniqueGames.Foundations.PCP.AlphabetTableBounds.gap_transfer_real line 15
  2. theorem OAI.UniqueGames.Foundations.PCP.AlphabetTableBounds.build_vertices line 43
  3. theorem OAI.UniqueGames.Foundations.PCP.AlphabetTableBounds.build_darts line 53
  4. theorem OAI.UniqueGames.Foundations.PCP.AlphabetTableBounds.build_total line 61
  5. theorem OAI.UniqueGames.Foundations.PCP.AlphabetTableBounds.build_total_le line 68
  6. theorem OAI.UniqueGames.Foundations.PCP.AlphabetTableBounds.build_vertices_le line 85
  7. theorem OAI.UniqueGames.Foundations.PCP.AlphabetTableBounds.build_darts_le line 90
  8. theorem OAI.UniqueGames.Foundations.PCP.AlphabetTableBounds.sizeFactor_positive line 95