OAI/Computability/Scheduling/HierarchyCompleteness.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ThreeMachine.Structure.EdgeData.child_ssubset line 13
2. theorem OAI.ThreeMachine.Structure.GlobalList.samePriority_final line 42
3. theorem OAI.ThreeMachine.Structure.same_path_normalized line 58
4. def OAI.ThreeMachine.Structure.SwitchSeed.reorder line 174
5. theorem OAI.ThreeMachine.Structure.switchPriority_final line 186
6. theorem OAI.ThreeMachine.Structure.switch_path_normalized line 194
7. theorem OAI.ThreeMachine.Structure.same_path line 291
8. theorem OAI.ThreeMachine.Structure.switch_path line 320
9. theorem OAI.ThreeMachine.Structure.Boundary.Separates.reverse line 360
10. theorem OAI.ThreeMachine.Structure.SplitVertex.AtTime.reverse line 378
11. theorem OAI.ThreeMachine.Structure.window_reverse line 406
12. theorem OAI.ThreeMachine.Structure.node_complete line 423