OAI/Probability/SphericalField/Heat/Backward.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptron.gaussianBackward line 18
2. lemma OAI.SphericalPerceptron.gaussianBackward_lipschitz line 22
3. lemma OAI.SphericalPerceptron.gaussianBackward_add_const line 31
4. lemma OAI.SphericalPerceptron.gaussianBackward_append line 43
5. lemma OAI.SphericalPerceptron.gaussianBackward_mono line 49
6. lemma OAI.SphericalPerceptron.gaussianBackward_bounded_difference line 60
7. lemma OAI.SphericalPerceptron.gaussianBackward_mono_parameters line 75
8. lemma OAI.SphericalPerceptron.gaussianBackward_parameter_bound line 104
9. lemma OAI.SphericalPerceptron.gaussianBackward_merge line 149
10. lemma OAI.SphericalPerceptron.gaussianBackward_delete_zero line 156