OAI/Probability/Perceptron/Variational/TangentConsistency.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.sphereTail_measurable line 12
2. lemma OAI.SphericalPerceptronFreeEnergy.sphereKernel_integral_measurable line 17
3. lemma OAI.SphericalPerceptronFreeEnergy.sphereKernel_integral_abs_bound line 25
4. lemma OAI.SphericalPerceptronFreeEnergy.tangent_wronskian_ae line 34
5. theorem OAI.SphericalPerceptronFreeEnergy.tangent_sphere_self_consistency line 73