OAI/Probability/SwitchChain/PairFiberEquiv.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem315.PairFiber.Assignment line 11
2. abbrev OAI.Problem315.PairFiber.GraphFiber line 14
3. theorem OAI.Problem315.PairFiber.trade_original line 18
4. def OAI.Problem315.PairFiber.graphFiberEquiv line 24
5. theorem OAI.Problem315.PairFiber.graphFiberEquiv_apply line 50
6. theorem OAI.Problem315.PairFiber.graphFiberEquiv_symm_apply line 53
7. abbrev OAI.Problem315.PairFiber.StateFiber line 57
8. def OAI.Problem315.PairFiber.stateGraphFiberEquiv line 61
9. def OAI.Problem315.PairFiber.stateFiberEquiv line 78
10. theorem OAI.Problem315.PairFiber.stateFiberEquiv_apply line 83
11. theorem OAI.Problem315.PairFiber.stateFiberEquiv_symm_apply line 87
12. theorem OAI.Problem315.PairFiber.assignment_natCard line 92
13. theorem OAI.Problem315.PairFiber.stateFiber_natCard line 103