OAI/Probability/Perceptron/Cascade/IndexedPoisson.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.indexedFiniteCloud line 13
2. lemma OAI.SphericalPerceptronFreeEnergy.indexedFiniteCloud_measurable line 16
3. lemma OAI.SphericalPerceptronFreeEnergy.iid_prefix_law line 23
4. lemma OAI.SphericalPerceptronFreeEnergy.indexedFiniteCloud_law line 29
5. def OAI.SphericalPerceptronFreeEnergy.indexedPoissonMeasure line 43
6. lemma OAI.SphericalPerceptronFreeEnergy.indexedPoissonMeasure_measurable line 46
7. lemma OAI.SphericalPerceptronFreeEnergy.indexedPoissonMeasure_law line 50
8. lemma OAI.SphericalPerceptronFreeEnergy.indexedPoissonMeasure_canonical_law line 65