OAI/Computability/PerfectCompleteness/Construction/HiddenChildMixture.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PerfectCompleteness.HiddenChildMixture.averageDensity line 19
  2. theorem OAI.PerfectCompleteness.HiddenChildMixture.averageDensity_mean line 22
  3. def OAI.PerfectCompleteness.HiddenChildMixture.mixture line 32
  4. theorem OAI.PerfectCompleteness.HiddenChildMixture.mixture_density line 44
  5. theorem OAI.PerfectCompleteness.HiddenChildMixture.centered_cross line 53
  6. theorem OAI.PerfectCompleteness.HiddenChildMixture.centered_sum_second_moment line 62
  7. theorem OAI.PerfectCompleteness.HiddenChildMixture.average_centered line 76
  8. theorem OAI.PerfectCompleteness.HiddenChildMixture.average_second_moment line 83
  9. theorem OAI.PerfectCompleteness.HiddenChildMixture.average_second_moment_le line 89
  10. theorem OAI.PerfectCompleteness.HiddenChildMixture.observed_mixture_variation line 101