OAI/Probability/SwitchChain/DisjointFiberCoordinates.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem315.DisjointEncoding.rightAssignment_eq_iff_first_edges line 13
2. theorem OAI.Problem315.DisjointEncoding.leftAssignment_eq_iff_first_edges line 38
3. theorem OAI.Problem315.DisjointEncoding.right_boundary_eq_of_assignment_eq line 63
4. theorem OAI.Problem315.DisjointEncoding.left_boundary_eq_of_assignment_eq line 78
5. theorem OAI.Problem315.DisjointEncoding.sameFiber_left_iff_rightAssignment_eq line 95
6. theorem OAI.Problem315.DisjointEncoding.sameFiber_right_iff_leftAssignment_eq line 155