OAI/Computability/PerfectCompleteness/Foundations/PrefixTests.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.PrefixTests.nodeAtLevel_eq line 17
2. abbrev OAI.PerfectCompleteness.PrefixTests.LevelDirection line 53
3. abbrev OAI.PerfectCompleteness.PrefixTests.LevelNode line 56
4. def OAI.PerfectCompleteness.PrefixTests.levelNode line 59
5. theorem OAI.PerfectCompleteness.PrefixTests.levelNode_eq line 62
6. def OAI.PerfectCompleteness.PrefixTests.nodeDirection line 68
7. def OAI.PerfectCompleteness.PrefixTests.choiceAt line 74
8. def OAI.PerfectCompleteness.PrefixTests.observeAtLevelNode line 80
9. theorem OAI.PerfectCompleteness.PrefixTests.observe_choiceAt_eq line 94
10. theorem OAI.PerfectCompleteness.PrefixTests.observe_above_cut_eq line 102