OAI/Combinatorics/Ryser/LineCover/TailNumerics.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.RyserCoveringCounterexample.LineCover.tendsto_log_pow_mul_rpow_neg_atTop line 17
  2. theorem OAI.RyserCoveringCounterexample.LineCover.tendsto_rpow_mul_exp_neg_rpow_atTop line 26
  3. theorem OAI.RyserCoveringCounterexample.LineCover.tendsto_polynomial_mul_exp_neg_rpow_atTop line 35
  4. theorem OAI.RyserCoveringCounterexample.LineCover.tendsto_count_failure_atTop line 45
  5. def OAI.RyserCoveringCounterexample.LineCover.logarithmicSampleSize line 55
  6. theorem OAI.RyserCoveringCounterexample.LineCover.tendsto_logarithmicSampleSize_atTop line 57
  7. theorem OAI.RyserCoveringCounterexample.LineCover.tendsto_sampleSize_pow_mul_rpow_neg_atTop line 62
  8. theorem OAI.RyserCoveringCounterexample.LineCover.log_affine_line_count_le line 85
  9. theorem OAI.RyserCoveringCounterexample.LineCover.tuple_failure_le_envelope line 98
  10. theorem OAI.RyserCoveringCounterexample.LineCover.tendsto_tuple_failure_atTop line 131