OAI/Probability/Perceptron/Variational/LabelThermalLaw.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.boundedThermalPartition line 18
2. lemma OAI.SphericalPerceptronFreeEnergy.boundedThermalPartition_measurable line 22
3. lemma OAI.SphericalPerceptronFreeEnergy.boundedThermalPartition_mem line 29
4. def OAI.SphericalPerceptronFreeEnergy.boundedThermalLaw line 50
5. lemma OAI.SphericalPerceptronFreeEnergy.boundedThermalLaw_integral line 56
6. lemma OAI.SphericalPerceptronFreeEnergy.boundedThermalPartition_power_integrable line 74
7. lemma OAI.SphericalPerceptronFreeEnergy.boundedThermalLaw_moment line 88
8. lemma OAI.SphericalPerceptronFreeEnergy.boundedThermalPartition_log_bound line 97
9. lemma OAI.SphericalPerceptronFreeEnergy.boundedThermalPartition_log_integrable line 103
10. lemma OAI.SphericalPerceptronFreeEnergy.boundedThermalLaw_log line 111