OAI/Probability/BinarySweep/GridBounds/BoardOverlap.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BinaryCoordinateSweeps.Signed.regularized_board_overlap line 23
2. theorem OAI.BinaryCoordinateSweeps.Signed.board_overlap line 97
3. theorem OAI.BinaryCoordinateSweeps.Signed.actual_board_overlap line 151