OAI/Combinatorics/IndependentSets/Encoding/PortTableEncoding.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IndependentSetsGames.Foundations.PCP.PortTables.HasPortTails line 11
2. instance OAI.IndependentSetsGames.Foundations.PCP.PortTables.(instance at line 14) line 14
3. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTables.flatRows_hasPortTails line 18
4. def OAI.IndependentSetsGames.Foundations.PCP.PortTables.ofRows line 22
5. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTables.table_ext line 34
6. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTables.ofRows_flatRows line 43
7. def OAI.IndependentSetsGames.Foundations.PCP.PortTables.extractInput line 53
8. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTables.extractInput_graphTable line 65
9. def OAI.IndependentSetsGames.Foundations.PCP.PortTables.decodeInputBits line 69
10. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTables.decodeInputBits_inputBits line 72
11. def OAI.IndependentSetsGames.Foundations.PCP.PortTables.encoding line 77
12. theorem OAI.IndependentSetsGames.Foundations.PCP.PortTables.inputBits_injective line 82