OAI/Probability/ThreeStateClauses/PoissonLaw.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Poisson Law.

  1. def OAI.ThreeState.TreeClauses.Experiment.poissonLaw line 18
  2. lemma OAI.ThreeState.TreeClauses.Experiment.mixture_mu line 21
  3. lemma OAI.ThreeState.TreeClauses.Experiment.Law.nu_le_one line 29
  4. lemma OAI.ThreeState.TreeClauses.Experiment.mixture_nu line 36
  5. lemma OAI.ThreeState.TreeClauses.Experiment.poisson_quadratic_integral line 44
  6. lemma OAI.ThreeState.TreeClauses.Experiment.poisson_projection_quadratic line 67
  7. theorem OAI.ThreeState.TreeClauses.Experiment.poisson_projection line 83
  8. lemma OAI.ThreeState.TreeClauses.Experiment.poisson_integral_mono_intensity line 98
  9. lemma OAI.ThreeState.TreeClauses.Experiment.poisson_nu_mono line 122