OAI/Probability/ThreeStateClauses/Degradation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Degradation.

  1. def OAI.ThreeState.TreeClauses.Experiment.kernelJoint line 18
  2. lemma OAI.ThreeState.TreeClauses.Experiment.kernelJoint_fst line 21
  3. lemma OAI.ThreeState.TreeClauses.Experiment.kernelJoint_snd line 27
  4. lemma OAI.ThreeState.TreeClauses.Experiment.discreteMarginal_bind line 33
  5. lemma OAI.ThreeState.TreeClauses.Experiment.integral_kernelJoint line 41
  6. lemma OAI.ThreeState.TreeClauses.Experiment.integral_kernelJoint_fst line 49
  7. lemma OAI.ThreeState.TreeClauses.Experiment.integral_kernelJoint_snd line 53
  8. lemma OAI.ThreeState.TreeClauses.Experiment.discrete_degradation_identity line 57
  9. lemma OAI.ThreeState.TreeClauses.Experiment.discrete_degradation_centered line 76