OAI/Computability/MinUncut/PCP/PortTableLookup.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.flatMap_word line 9
2. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.vertices_word line 41
3. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.darts_word line 44
4. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.row_word line 47
5. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.tail_word line 63
6. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.reverse_word line 71
7. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.relation_word line 80
8. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.accepts_word line 92
9. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.rotation_head_word line 99
10. theorem OAI.MinUncutGames.Foundations.PCP.PortTableLookup.rotor_lookups line 104