OAI/Probability/Perceptron/Variational/LabelRestoredValue.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SphericalPerceptronFreeEnergy.SourceLabelPairData line 12
2. def OAI.SphericalPerceptronFreeEnergy.sourceLabelPairReassoc line 15
3. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelPairReassoc_preserving line 22
4. def OAI.SphericalPerceptronFreeEnergy.labelDepthTest line 38
5. lemma OAI.SphericalPerceptronFreeEnergy.labelDepthTest_measurable line 41
6. lemma OAI.SphericalPerceptronFreeEnergy.labelDepthTest_bound line 48
7. def OAI.SphericalPerceptronFreeEnergy.sourceLabelPairIntegrand line 51
8. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelPairIntegrand_integrable line 57
9. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelPairIntegrand_value line 67
10. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelRestoredRatio_depth line 109