OAI/Probability/ThreeStateClauses/BranchGrowth.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Branch Growth.

  1. lemma OAI.ThreeState.TreeClauses.Experiment.continuous_compact_integral line 16
  2. lemma OAI.ThreeState.TreeClauses.Experiment.continuous_cons line 24
  3. lemma OAI.ThreeState.TreeClauses.Experiment.integral_pi_cons line 32
  4. lemma OAI.ThreeState.TreeClauses.Experiment.branchProduct_cons line 45
  5. lemma OAI.ThreeState.TreeClauses.Experiment.normalizer_cons line 49
  6. lemma OAI.ThreeState.TreeClauses.Experiment.branchOutput_cons line 65
  7. lemma OAI.ThreeState.TreeClauses.Experiment.finite_succ_integral line 75
  8. theorem OAI.ThreeState.TreeClauses.Experiment.correlationEntropy_succ line 89
  9. lemma OAI.ThreeState.TreeClauses.Experiment.xMoment_tangent line 126
  10. lemma OAI.ThreeState.TreeClauses.Experiment.xMoment_sq_tangent line 137
  11. lemma OAI.ThreeState.TreeClauses.Experiment.integral_pair_linear line 146
  12. lemma OAI.ThreeState.TreeClauses.Experiment.integral_pair_tangent_lower line 170
  13. theorem OAI.ThreeState.TreeClauses.Experiment.finite_nu_mono line 193