OAI/Probability/SphericalField/Poisson/Partitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.gamma_stable_product line 24
2. lemma OAI.SphericalPerceptron.stable_eppf_scalar line 43
3. lemma OAI.SphericalPerceptron.list_prod_map_const_mul line 66
4. lemma OAI.SphericalPerceptron.list_prod_map_div_const line 72
5. lemma OAI.SphericalPerceptron.list_prod_ofReal line 76
6. theorem OAI.SphericalPerceptron.stableDistinctMoment_eppf line 84
7. def OAI.SphericalPerceptron.stableEppfValue line 144
8. lemma OAI.SphericalPerceptron.stableEppfValue_singleton_one line 149
9. lemma OAI.SphericalPerceptron.stableEppfValue_join line 155
10. lemma OAI.SphericalPerceptron.stableEppfValue_new line 168