OAI/Computability/Scheduling/NodeCertificates.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ThreeMachine.Structure.NodeData line 11
2. def OAI.ThreeMachine.Structure.NodeData.reorder line 38
3. theorem OAI.ThreeMachine.Structure.NodeData.cover line 49
4. def OAI.ThreeMachine.Structure.NodeData.root line 56
5. structure OAI.ThreeMachine.Structure.EdgeData line 97
6. def OAI.ThreeMachine.Structure.EdgeData.toNode line 139
7. theorem OAI.ThreeMachine.Structure.Boundary.at_le line 205
8. theorem OAI.ThreeMachine.Structure.Boundary.at_unique line 211
9. theorem OAI.ThreeMachine.Structure.exists_same_edge line 228
10. structure OAI.ThreeMachine.Structure.SwitchSeed line 326
11. def OAI.ThreeMachine.Structure.ReverseSeed.toSwitch line 337
12. theorem OAI.ThreeMachine.Structure.exists_switch_edge line 351
13. theorem OAI.ThreeMachine.Structure.window_first_slot line 461
14. theorem OAI.ThreeMachine.Structure.exists_node_center line 474
15. theorem OAI.ThreeMachine.Structure.Layout.FixedOutside.before_iff line 537
16. theorem OAI.ThreeMachine.Structure.Layout.FixedOutside.after_iff line 547
17. theorem OAI.ThreeMachine.Structure.Boundary.Separates.reorder line 557