OAI/Probability/Perceptron/Variational/LabelReference.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SphericalPerceptronFreeEnergy.source_label_reference_exists line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.indexedCommonDepth_ultrametric line 49
3. def OAI.SphericalPerceptronFreeEnergy.CompactLabelGeometry line 56
4. lemma OAI.SphericalPerceptronFreeEnergy.sourceJointArray_label_geometry line 61
5. lemma OAI.SphericalPerceptronFreeEnergy.compactLabelGeometry_closed line 81
6. lemma OAI.SphericalPerceptronFreeEnergy.sourceGibbsArray_limit_label_geometry line 89