OAI/Probability/Perceptron/Variational/CompactJointMonomials.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.compactJointMonomial line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.compactJointMonomial_apply line 14
3. lemma OAI.SphericalPerceptronFreeEnergy.compactJointMonomial_zero line 17
4. lemma OAI.SphericalPerceptronFreeEnergy.compactJointMonomial_add line 19
5. lemma OAI.SphericalPerceptronFreeEnergy.compactJointMonomial_separates line 25
6. lemma OAI.SphericalPerceptronFreeEnergy.compactJointMonomial_abs_le line 34
7. lemma OAI.SphericalPerceptronFreeEnergy.compactJoint_monomials_determine line 41
8. lemma OAI.SphericalPerceptronFreeEnergy.sourceJointOverlap_symm line 51
9. lemma OAI.SphericalPerceptronFreeEnergy.sourceGibbsArray_eq line 57
10. lemma OAI.SphericalPerceptronFreeEnergy.source_compact_gg_defect line 66