OAI/Combinatorics/IndependentSets/PCP/FinalCNFTableAdapter.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRow line 11
2. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRow_tail line 15
3. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRow_reverseIndex line 18
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRow_relation line 21
5. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRows line 24
6. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRows_get line 27
7. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRows_reverseAt line 31
8. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRows_acceptsAt line 38
9. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRows_valid line 45
10. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable line 53
11. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_vertices line 59
12. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_darts line 62
13. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_row line 65
14. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_tail line 68
15. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_reverseIndex line 73
16. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_relation line 78
17. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericRow_words line 83
18. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_rowList line 86
19. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_tableWords line 92
20. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_tableBits line 98
21. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_semantics_tail line 102
22. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_semantics_reverse line 106
23. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_semantics_head line 111
24. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_semantics_accepts line 117
25. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_headIndex line 122
26. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_headValue line 126
27. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_headValue_tableGraph line 132
28. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFTableAdapter.genericTable_pattern_relation line 138