OAI/Probability/Perceptron/Variational/GaussianBackward.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.gaussianBackward line 16
2. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_lipschitz line 20
3. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_add_const line 29
4. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_append line 40
5. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_mono line 48
6. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_bounded_difference line 59
7. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_mono_parameters line 74
8. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_parameter_bound line 103
9. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_merge line 147
10. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBackward_delete_zero line 154