OAI/Combinatorics/IndependentSets/Expansion/PortTableLookup.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.flatMap_word line 8
2. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.vertices_word line 40
3. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.darts_word line 43
4. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.row_word line 46
5. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.tail_word line 62
6. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.reverse_word line 70
7. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.relation_word line 79
8. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.accepts_word line 91
9. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.rotation_head_word line 98
10. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTableLookup.rotor_lookups line 103