OAI/Probability/SphericalField/Perceptron/Partition.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.log_integral_exp_sub_le line 16
2. lemma OAI.SphericalPerceptron.abs_log_integral_exp_sub_le line 35
3. lemma OAI.SphericalPerceptron.abs_energy_le line 52
4. lemma OAI.SphericalPerceptron.integrable_partition line 58
5. lemma OAI.SphericalPerceptron.partition_bounds line 71
6. lemma OAI.SphericalPerceptron.partition_pos line 90
7. lemma OAI.SphericalPerceptron.continuous_partition line 95
8. lemma OAI.SphericalPerceptron.continuous_pressure line 114
9. lemma OAI.SphericalPerceptron.abs_pressure_le line 120
10. lemma OAI.SphericalPerceptron.integrable_pressure line 135