OAI/Probability/ThreeState/Region.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Threshold consequences on the proved parameter regions.

  1. lemma OAI.ThreeState.Nonreconstructs.not_reconstructs line 12
  2. theorem OAI.ThreeState.observed_nonreconstructs_iff_not_reconstructs line 20
  3. theorem OAI.ThreeState.regular_nonreconstruction_in_proved_region line 34
  4. theorem OAI.ThreeState.poisson_nonreconstruction_in_proved_region line 47
  5. theorem OAI.ThreeState.regular_threshold_in_proved_region line 60
  6. theorem OAI.ThreeState.poisson_threshold_in_proved_region line 78
  7. theorem OAI.ThreeState.regular_nonnegative_threshold line 94
  8. theorem OAI.ThreeState.poisson_nonnegative_threshold line 102
  9. theorem OAI.ThreeState.binary_exact_threshold line 110
  10. theorem OAI.ThreeState.poisson_le_two_exact_threshold line 123