OAI/Probability/SwitchChain/FrozenRows.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem315.FrozenRowsAgree line 9
2. theorem OAI.Problem315.FrozenRowsAgree.refl line 13
3. theorem OAI.Problem315.FrozenRowsAgree.symm line 18
4. theorem OAI.Problem315.FrozenRowsAgree.trans line 23
5. theorem OAI.Problem315.graphDegree_split_residual line 29
6. theorem OAI.Problem315.residualDegree_eq_of_frozenRows line 53
7. theorem OAI.Problem315.graphState_residualDegree_eq line 74
8. theorem OAI.Problem315.fourVertexState_residual_neighbors line 82
9. theorem OAI.Problem315.fourVertexState_frozenRows line 103