OAI/Probability/BinarySweep/Trajectories/EndpointPlacement.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryCoordinateSweeps.restrictPlacement line 14
2. lemma OAI.BinaryCoordinateSweeps.restrictPlacement_event line 20
3. lemma OAI.BinaryCoordinateSweeps.endpointProbability_conditional line 37
4. theorem OAI.BinaryCoordinateSweeps.endpointProbability_placement line 71