OAI/Probability/SpanningForest/GaussianMomentScaling.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem336.standardGaussian_sqrt_hasLaw line 12
  2. theorem OAI.Problem336.gaussian_absolute_moment_scaling line 24
  3. theorem OAI.Problem336.standardGaussian_absolute_first_moment_le_one line 32
  4. theorem OAI.Problem336.gaussian_absolute_first_moment_le_sqrt line 50
  5. theorem OAI.Problem336.gaussian_hasLaw_integrable_abs_pow line 61
  6. theorem OAI.Problem336.gaussian_hasLaw_absolute_moment line 67
  7. theorem OAI.Problem336.gaussian_hasLaw_second_moment line 75
  8. theorem OAI.Problem336.gaussian_hasLaw_absolute_first_moment_le line 84
  9. theorem OAI.Problem336.gaussian_setIntegral_absolute_moment line 91
  10. theorem OAI.Problem336.gaussian_independent_weighted_second_moment line 111