OAI/Probability/SignedSweeps/SweepBlockLayers.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.columnEnumeration line 11
2. def OAI.SignedSweeps.rowEnumeration line 15
3. lemma OAI.SignedSweeps.columnEnumeration_board line 18
4. lemma OAI.SignedSweeps.rowEnumeration_board line 22
5. lemma OAI.SignedSweeps.columnEnumeration_bits line 26
6. lemma OAI.SignedSweeps.rowEnumeration_bits line 31
7. lemma OAI.SignedSweeps.coordinateSubgroup_iff line 36
8. lemma OAI.SignedSweeps.column_block_coordinate line 46
9. lemma OAI.SignedSweeps.row_block_coordinate line 69
10. lemma OAI.SignedSweeps.coordinate_column_image line 92
11. lemma OAI.SignedSweeps.coordinate_row_image line 107
12. lemma OAI.SignedSweeps.column_layer_coefficient line 122
13. lemma OAI.SignedSweeps.row_layer_coefficient line 131