OAI/Probability/Perceptron/Cavity/CavityLabelArray.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.cavityLabelMarkedArray line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.cavityLabelMarkedArray_measurable line 15
3. lemma OAI.SphericalPerceptronFreeEnergy.cavityLabelZero_measurable line 30
4. def OAI.SphericalPerceptronFreeEnergy.cavityLabelMarkedLaw line 34
5. lemma OAI.SphericalPerceptronFreeEnergy.cavityLabelMarkedLaw_block line 50
6. def OAI.SphericalPerceptronFreeEnergy.cavityPairProfile line 90
7. def OAI.SphericalPerceptronFreeEnergy.cavityPairDiagonal line 94
8. lemma OAI.SphericalPerceptronFreeEnergy.cavityPair_block_covariance line 97
9. theorem OAI.SphericalPerceptronFreeEnergy.cavityLabelMarkedLaw_cavity_moment line 114