OAI/Probability/SwitchChain/DisjointStateCoordinates.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem315.DisjointEncoding.graphDegree_eq_simpleDegree line 12
2. abbrev OAI.Problem315.DisjointEncoding.StateCell line 19
3. def OAI.Problem315.DisjointEncoding.stateCellDegreeEquiv line 22
4. def OAI.Problem315.DisjointEncoding.stateCellEquiv line 33
5. theorem OAI.Problem315.DisjointEncoding.stateCellEquiv_matrix line 37
6. theorem OAI.Problem315.DisjointEncoding.stateCellEquiv_left line 41
7. theorem OAI.Problem315.DisjointEncoding.stateCellEquiv_right line 45
8. theorem OAI.Problem315.DisjointEncoding.stateCellEquiv_symm_graph line 49
9. theorem OAI.Problem315.DisjointEncoding.stateCellEquiv_sameFiber_left line 54
10. theorem OAI.Problem315.DisjointEncoding.stateCellEquiv_sameFiber_right line 60