OAI/Probability/SphericalField/Control/Backward.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptron.backwardScore line 16
2. lemma OAI.SphericalPerceptron.brownian_control_patch_gain line 21
3. def OAI.SphericalPerceptron.timeMesh line 66
4. lemma OAI.SphericalPerceptron.timeMesh_coe line 69
5. lemma OAI.SphericalPerceptron.timeMesh_zero line 80
6. lemma OAI.SphericalPerceptron.timeMesh_last line 85
7. lemma OAI.SphericalPerceptron.timeMesh_between line 92
8. lemma OAI.SphericalPerceptron.timeMesh_step line 104
9. lemma OAI.SphericalPerceptron.timeMesh_step_size line 115
10. lemma OAI.SphericalPerceptron.brownian_control_interval_lower_mesh line 121
11. lemma OAI.SphericalPerceptron.brownian_control_interval_lower line 181