OAI/Combinatorics/IndependentSets/PCP/RoundTableGap.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.IndependentSetsGames.Foundations.PCP.RoundTableGap.powered_count_gap line 17
2. theorem OAI.IndependentSetsGames.Foundations.PCP.RoundTableGap.build_count_gap line 49
3. theorem OAI.IndependentSetsGames.Foundations.PCP.RoundTableGap.step_gap line 64
4. theorem OAI.IndependentSetsGames.Foundations.PCP.TableGapReduction.run_gap line 82
5. theorem OAI.IndependentSetsGames.Foundations.PCP.TableGapReduction.output_gap line 87
6. theorem OAI.IndependentSetsGames.Foundations.PCP.TableGapReduction.output_satisfiable_iff line 95
7. theorem OAI.IndependentSetsGames.Foundations.PCP.TableGapReduction.gapMap_satisfiable_iff line 105
8. theorem OAI.IndependentSetsGames.Foundations.PCP.TableGapReduction.output_count_gap line 109
9. theorem OAI.IndependentSetsGames.Foundations.PCP.TableGapReduction.gapMap_clauseGap line 129
10. theorem OAI.IndependentSetsGames.Foundations.PCP.TableGapReduction.finalClauseGap_le_one line 135