OAI/Probability/SwitchChain/SliceGenerator.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem315.SliceGenerator.sum_swap_coordinate line 10
2. theorem OAI.Problem315.SliceGenerator.sum_swap_coordinate_cross line 35
3. theorem OAI.Problem315.SliceGenerator.sum_swap_quadratic line 53
4. def OAI.Problem315.SliceGenerator.generator line 80
5. theorem OAI.Problem315.SliceGenerator.generator_coordinate line 84
6. theorem OAI.Problem315.SliceGenerator.generator_quadratic line 93
7. def OAI.Problem315.SliceGenerator.generatorLinearMap line 107
8. theorem OAI.Problem315.SliceGenerator.generator_centered_linear line 121
9. theorem OAI.Problem315.SliceGenerator.sum_coeff_linear_eq_zero line 145
10. theorem OAI.Problem315.SliceGenerator.generator_row_zero_quadratic line 162
11. theorem OAI.Problem315.SliceGenerator.generator_symmetric_row_zero_quadratic line 192