OAI/Combinatorics/IndependentSets/Machines/MachineExpanderFamilyTapes.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.boolWord line 10
2. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.toBoolWord line 15
3. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.fromBoolTapes line 20
4. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.toBoolTapes line 23
5. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.toBoolWord_boolWord line 26
6. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.boolWord_toBoolWord line 32
7. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.toBool_fromBool line 38
8. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.fromBool_toBool line 43
9. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.transport_tapes_apply line 48
10. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.toBoolTapes_eq_transport line 55
11. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.fromBoolTapes_eq_transport line 63
12. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.fromBoolTapes_update line 71
13. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.toBoolTapes_update line 80
14. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.configuration_fromBool line 90
15. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderFamily.configuration_toBool line 96