OAI/Probability/ThorpCompatibility/Prediction.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ThorpCompatibility.Law.restrict line 12
  2. lemma OAI.ThorpCompatibility.Law.restrict_mass line 26
  3. lemma OAI.ThorpCompatibility.Law.prob_eq_map_mass line 30
  4. def OAI.ThorpCompatibility.Law.predict line 33
  5. lemma OAI.ThorpCompatibility.Law.predict_mass line 36
  6. lemma OAI.ThorpCompatibility.Law.predict_mass_self line 47
  7. lemma OAI.ThorpCompatibility.Law.predict_pos line 52
  8. lemma OAI.ThorpCompatibility.Law.predict_mass_zero line 57
  9. lemma OAI.ThorpCompatibility.Law.mean_predict_log line 68
  10. lemma OAI.ThorpCompatibility.Law.mean_predict line 74
  11. lemma OAI.ThorpCompatibility.Law.mean_predict_prob line 108
  12. lemma OAI.ThorpCompatibility.Law.condEntropy_predict_comparison line 114