OAI/Computability/UniqueGames/Machines/MachineClone100.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGamesTheorem.Explicit.MachineClone100.indices line 16
2. def OAI.UniqueGamesTheorem.Explicit.MachineClone100.triples line 19
3. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.triples_length line 21
4. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.triples_nonempty line 24
5. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.equation_words line 29
6. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.body_words line 37
7. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.input_words_eq line 43
8. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.input_bits_eq line 52
9. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.serialized_polynomial line 58
10. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.size_bound line 71
11. def OAI.UniqueGamesTheorem.Explicit.MachineClone100.computation line 83
12. theorem OAI.UniqueGamesTheorem.Explicit.MachineClone100.finiteAlphabet line 88
13. def OAI.UniqueGamesTheorem.Explicit.MachineClone100.fullRunInTime line 91