OAI/Probability/ThreeStateClauses/Projection.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Projection.

  1. def OAI.ThreeState.TreeClauses.Experiment.edgeCentered line 17
  2. lemma OAI.ThreeState.TreeClauses.Experiment.continuous_edgeCentered line 19
  3. lemma OAI.ThreeState.TreeClauses.Experiment.Law.edgeCentered_mean line 23
  4. lemma OAI.ThreeState.TreeClauses.Experiment.Law.edgeCentered_second line 31
  5. lemma OAI.ThreeState.TreeClauses.Experiment.Law.edgeCentered_tilt_diag line 44
  6. lemma OAI.ThreeState.TreeClauses.Experiment.Law.edgeCentered_tilt_mean line 54
  7. def OAI.ThreeState.TreeClauses.Experiment.branchSum line 87
  8. lemma OAI.ThreeState.TreeClauses.Experiment.continuous_branchSum line 89
  9. lemma OAI.ThreeState.TreeClauses.Experiment.integral_branchProduct_sum line 92
  10. lemma OAI.ThreeState.TreeClauses.Experiment.integral_normalizer_sum line 104
  11. lemma OAI.ThreeState.TreeClauses.Experiment.integral_normalizer_sq_sum line 116
  12. lemma OAI.ThreeState.TreeClauses.Experiment.Law.centered_second line 155
  13. lemma OAI.ThreeState.TreeClauses.Experiment.integral_posterior_sum line 159
  14. lemma OAI.ThreeState.TreeClauses.Experiment.finite_projection_quadratic line 176
  15. theorem OAI.ThreeState.TreeClauses.Experiment.finite_projection line 213