OAI/Probability/SwitchChain/TripleMatrixFinEquiv.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem315.TripleMatrixFinEquiv.margins line 15
2. def OAI.Problem315.TripleMatrixFinEquiv.augmentedEquiv line 18
3. theorem OAI.Problem315.TripleMatrixFinEquiv.augmentedEquiv_apply_val line 31
4. theorem OAI.Problem315.TripleMatrixFinEquiv.augmented_row_eq_iff line 35
5. def OAI.Problem315.TripleMatrixFinEquiv.graphEquiv line 48
6. theorem OAI.Problem315.TripleMatrixFinEquiv.graph_row_eq_iff line 54
7. theorem OAI.Problem315.TripleMatrixFinEquiv.bounds_of_nonempty line 63
8. def OAI.Problem315.TripleMatrixFinEquiv.graphEquivOfNonempty line 72