OAI/Probability/BinarySweep/Trajectories/EndpointValidity.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryCoordinateSweeps.gridPartialSweep_endpoint line 15
2. lemma OAI.BinaryCoordinateSweeps.path_completion_finite line 22
3. def OAI.BinaryCoordinateSweeps.EndpointValid line 39
4. lemma OAI.BinaryCoordinateSweeps.endpointValid_mono line 44
5. lemma OAI.BinaryCoordinateSweeps.endpointValid_completion line 50
6. lemma OAI.BinaryCoordinateSweeps.endpointValid_of_placement_event line 73
7. lemma OAI.BinaryCoordinateSweeps.endpointValid_placement_iff line 87
8. lemma OAI.BinaryCoordinateSweeps.endpointValid_insert line 99