OAI/Probability/SwitchChain/PairFiberSliceComparison.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem315.PairFiber.assignmentSliceEquiv line 16
2. def OAI.Problem315.PairFiber.assignmentRelabel line 20
3. def OAI.Problem315.PairFiber.assignmentRelabelEquiv line 26
4. theorem OAI.Problem315.PairFiber.assignmentRelabel_swap_val line 31
5. theorem OAI.Problem315.PairFiber.assignment_variance_le_swap_energy line 48
6. theorem OAI.Problem315.PairFiber.assignment_displacement_eq_twice_energy line 60
7. theorem OAI.Problem315.PairFiber.assignment_variance_le_swap_squared_differences line 71
8. def OAI.Problem315.PairFiber.resamplingFiberSliceEquiv line 92
9. theorem OAI.Problem315.PairFiber.state_assignment_variance_le_swap_energy line 98