OAI/Probability/Perceptron/Cavity/FreshReference.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SphericalPerceptronFreeEnergy.SourceFreshReferenceData line 12
2. def OAI.SphericalPerceptronFreeEnergy.sourceFreshReferenceLog line 17
3. lemma OAI.SphericalPerceptronFreeEnergy.sourceFreshReferenceLog_measurable line 29
4. lemma OAI.SphericalPerceptronFreeEnergy.sourceFreshReferenceLog_bound line 61
5. theorem OAI.SphericalPerceptronFreeEnergy.source_countable_fresh_reference_value line 72