OAI/Probability/Perceptron/Cascade/PoissonWeightedTotal.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SphericalPerceptronFreeEnergy.measurable_measure_restrict line 10
  2. lemma OAI.SphericalPerceptronFreeEnergy.poissonRandomMeasureLaw_mecke_finite line 17
  3. lemma OAI.SphericalPerceptronFreeEnergy.poissonRandomMeasureLaw_mecke_restrict line 30
  4. lemma OAI.SphericalPerceptronFreeEnergy.poissonRandomMeasureLaw_mecke line 109
  5. def OAI.SphericalPerceptronFreeEnergy.poissonWeightedTotal line 129
  6. lemma OAI.SphericalPerceptronFreeEnergy.poissonWeightedTotal_measurable line 133
  7. lemma OAI.SphericalPerceptronFreeEnergy.poissonWeightedTotal_eq line 137
  8. lemma OAI.SphericalPerceptronFreeEnergy.poissonWeightedTotal_add_const line 143
  9. lemma OAI.SphericalPerceptronFreeEnergy.normalized_mark_density_probability line 152
  10. lemma OAI.SphericalPerceptronFreeEnergy.stablePoisson_normalized_mark_projection line 162
  11. lemma OAI.SphericalPerceptronFreeEnergy.poissonWeightedTotal_normalized_log_memLp line 181
  12. lemma OAI.SphericalPerceptronFreeEnergy.poissonWeightedTotal_normalized_pos line 196
  13. lemma OAI.SphericalPerceptronFreeEnergy.poissonWeightedTotal_normalized_log_mean line 210
  14. lemma OAI.SphericalPerceptronFreeEnergy.stablePoisson_log_recursion line 226