OAI/Probability/LatticeSurface/Dynamics/ProjectionFaces.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ProjectionComparison.activeGraph line 12
2. def OAI.ProjectionComparison.activeComponent line 18
3. lemma OAI.ProjectionComparison.mem_activeComponent line 21
4. lemma OAI.ProjectionComparison.tangent_feasible line 33
5. lemma OAI.ProjectionComparison.tangent_balance line 52
6. lemma OAI.ProjectionComparison.active_edge_reachable line 68
7. lemma OAI.ProjectionComparison.component_balance line 75
8. lemma OAI.ProjectionComparison.active_graph_eq line 100
9. lemma OAI.ProjectionComparison.active_difference_constant line 107
10. lemma OAI.ProjectionComparison.grounded_component_difference line 121
11. theorem OAI.ProjectionComparison.component_averaging line 136