OAI/Probability/Perceptron/Variational/StepDual.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.finite_weighted_increment_identity line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.weightedStepTail_root line 36
3. lemma OAI.SphericalPerceptronFreeEnergy.weightedStepTail_cut line 43
4. lemma OAI.SphericalPerceptronFreeEnergy.finite_sum_successive_differences line 59
5. lemma OAI.SphericalPerceptronFreeEnergy.stationary_field_shift_identity line 66
6. def OAI.SphericalPerceptronFreeEnergy.stepFieldIncrement line 115
7. lemma OAI.SphericalPerceptronFreeEnergy.stepFieldIncrement_sq line 119
8. def OAI.SphericalPerceptronFreeEnergy.finiteSphericalFieldValue line 129
9. theorem OAI.SphericalPerceptronFreeEnergy.finiteSphericalFieldValue_stationary line 133