OAI/Probability/SKFluctuations/ComparisonMinimumRegularRawMoment.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Comparison Minimum Regular Raw Moment.

  1. theorem OAI.SKFluctuations.comparisonConstraintLength_pos line 15
  2. theorem OAI.SKFluctuations.eventually_comparison_minimum_raw_moment_regular line 20
  3. theorem OAI.SKFluctuations.exists_raw_regular_constants line 170
  4. theorem OAI.SKFluctuations.comparisonStrength_slope_bound line 247
  5. theorem OAI.SKFluctuations.eventually_comparisonStrength_uniform_slope line 278
  6. theorem OAI.SKFluctuations.comparison_minimum_retained_raw_moment line 310
  7. theorem OAI.SKFluctuations.eventually_comparison_minimum_raw_ratio_of_finite_margins line 387