OAI/Probability/Perceptron/Cavity/AmbientBulkFeature.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.ambientTensorFeature line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.ambientTensorFeature_contDiff line 14
3. lemma OAI.SphericalPerceptronFreeEnergy.ambientTensorFeature_inner line 20
4. def OAI.SphericalPerceptronFreeEnergy.ambientBulkFeature line 28
5. lemma OAI.SphericalPerceptronFreeEnergy.ambientBulkFeature_eq line 33
6. lemma OAI.SphericalPerceptronFreeEnergy.ambientBulkFeature_contDiff line 38
7. lemma OAI.SphericalPerceptronFreeEnergy.ambientBulkFeature_inner line 46
8. def OAI.SphericalPerceptronFreeEnergy.bulkCovarianceDerivative line 62
9. lemma OAI.SphericalPerceptronFreeEnergy.ambientBulkFeature_deriv_inner line 65