OAI/Probability/SpanningForest/ExponentialFamily.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem336.ExponentialFamily.partition line 13
  2. def OAI.Problem336.ExponentialFamily.numerator line 16
  3. def OAI.Problem336.ExponentialFamily.mean line 19
  4. lemma OAI.Problem336.ExponentialFamily.hasDerivAt_partition line 22
  5. lemma OAI.Problem336.ExponentialFamily.hasDerivAt_numerator line 30
  6. theorem OAI.Problem336.ExponentialFamily.hasDerivAt_mean line 39
  7. lemma OAI.Problem336.ExponentialFamily.partition_pos line 48
  8. theorem OAI.Problem336.ExponentialFamily.hasDerivAt_mean_of_nonneg line 57
  9. def OAI.Problem336.ExponentialFamily.mass line 63
  10. lemma OAI.Problem336.ExponentialFamily.sum_mass line 66
  11. lemma OAI.Problem336.ExponentialFamily.mass_nonneg line 71
  12. lemma OAI.Problem336.ExponentialFamily.mean_eq_sum_mass line 77
  13. lemma OAI.Problem336.ExponentialFamily.mean_nonneg line 84
  14. lemma OAI.Problem336.ExponentialFamily.mean_le_const line 90
  15. lemma OAI.Problem336.ExponentialFamily.mean_mem_Icc line 100