OAI/Geometry/HeilbronnTriangle/Parameters.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Problem355.heilbronnM_ge_three line 8
  2. lemma OAI.Problem355.heilbronnT_pos line 14
  3. def OAI.Problem355.squareAddOne line 17
  4. lemma OAI.Problem355.squareAddOne_def line 19
  5. lemma OAI.Problem355.heilbronnK_eq line 21
  6. lemma OAI.Problem355.squareAddOne_ge line 24
  7. lemma OAI.Problem355.heilbronnK_ge_two line 28
  8. lemma OAI.Problem355.heilbronnK_pos line 31
  9. def OAI.Problem355.exponentOf line 34
  10. lemma OAI.Problem355.exponentOf_pos line 36
  11. lemma OAI.Problem355.exponentOf_le line 40
  12. lemma OAI.Problem355.heilbronnExponent_pos line 46
  13. lemma OAI.Problem355.heilbronnExponent_le line 49
  14. def OAI.Problem355.Parameters.threshold line 56
  15. lemma OAI.Problem355.Parameters.base_le_previous_power line 58
  16. lemma OAI.Problem355.Parameters.threshold_pos line 63
  17. lemma OAI.Problem355.Parameters.previous_power_le_three_threshold line 69
  18. lemma OAI.Problem355.Parameters.twice_threshold_lt_power line 75
  19. lemma OAI.Problem355.Parameters.power_le_three_base_threshold line 86
  20. lemma OAI.Problem355.Parameters.ratio_bound line 95
  21. lemma OAI.Problem355.Parameters.base_polynomial_bound line 101
  22. lemma OAI.Problem355.Parameters.auxiliary_polynomial_bound line 109
  23. lemma OAI.Problem355.Parameters.box_polynomial_bound line 116