OAI/Probability/BinarySweep/GridBounds/BoardLaw.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.BinaryCoordinateSweeps.BoardChoices line 18
2. def OAI.BinaryCoordinateSweeps.boardWeight line 19
3. def OAI.BinaryCoordinateSweeps.boardSweep line 21
4. def OAI.BinaryCoordinateSweeps.boardLaw line 23
5. lemma OAI.BinaryCoordinateSweeps.boardSampleLaw line 26
6. def OAI.BinaryCoordinateSweeps.boardChoicesEquiv line 40
7. lemma OAI.BinaryCoordinateSweeps.rowPerm_congr line 45
8. lemma OAI.BinaryCoordinateSweeps.columnPerm_congr line 54
9. lemma OAI.BinaryCoordinateSweeps.boardSweep_congr line 63
10. lemma OAI.BinaryCoordinateSweeps.boardWeight_congr line 74
11. lemma OAI.BinaryCoordinateSweeps.boardLaw_congr line 87
12. lemma OAI.BinaryCoordinateSweeps.board_equiv_sample line 109