OAI/Probability/BinarySweep/Trajectories/TrajectoryComplement.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryCoordinateSweeps.augmentedPlacement line 16
2. lemma OAI.BinaryCoordinateSweeps.augmentedPosition_left line 25
3. lemma OAI.BinaryCoordinateSweeps.augmentedPosition_right line 30
4. lemma OAI.BinaryCoordinateSweeps.augmentedPlacement_zero line 35
5. lemma OAI.BinaryCoordinateSweeps.augmentedPlacement_last line 42
6. def OAI.BinaryCoordinateSweeps.augmentationFreeEquiv line 50
7. lemma OAI.BinaryCoordinateSweeps.augmentationFreeEquiv_val line 70
8. lemma OAI.BinaryCoordinateSweeps.augmented_gridSweep line 73