OAI/Combinatorics/IndependentSets/Machines/MachineFieldProfile.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.Profile line 11
2. def OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.equalityProfile line 13
3. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.equalityProfile_encodeWord line 16
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.statement_roundtrip line 31
5. def OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.copyStateEquiv line 36
6. def OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.normalState line 43
7. def OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.copyStatement line 45
8. def OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.copyInCompareState line 50
9. def OAI.IndependentSetsGames.Foundations.Complexity.MachineFieldProfile.nonDestructiveCompareInTime line 96