OAI/Computability/VertexCover/PCP/TableGapReduction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.UniqueGames.Foundations.PCP.TableGapReduction.run_gap line 51
2. theorem OAI.UniqueGames.Foundations.PCP.TableGapReduction.output_gap line 56
3. theorem OAI.UniqueGames.Foundations.PCP.TableGapReduction.output_satisfiable_iff line 64
4. theorem OAI.UniqueGames.Foundations.PCP.TableGapReduction.gapMap_satisfiable_iff line 74
5. theorem OAI.UniqueGames.Foundations.PCP.TableGapReduction.output_count_gap line 78
6. theorem OAI.UniqueGames.Foundations.PCP.TableGapReduction.gapMap_clauseGap line 98
7. theorem OAI.UniqueGames.Foundations.PCP.TableGapReduction.finalClauseGap_le_one line 104