OAI/Combinatorics/ProgressionColoring/Parameters.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuantitativeVanDerWaerden.Parameters.c line 14
  2. def OAI.QuantitativeVanDerWaerden.Parameters.dimension line 15
  3. def OAI.QuantitativeVanDerWaerden.Parameters.cutoff line 16
  4. def OAI.QuantitativeVanDerWaerden.Parameters.flipProbability line 17
  5. def OAI.QuantitativeVanDerWaerden.Parameters.meshScale line 18
  6. def OAI.QuantitativeVanDerWaerden.Parameters.cutScale line 19
  7. theorem OAI.QuantitativeVanDerWaerden.Parameters.c_pos line 21
  8. theorem OAI.QuantitativeVanDerWaerden.Parameters.rich_coefficient line 23
  9. theorem OAI.QuantitativeVanDerWaerden.Parameters.dimension_lower line 27
  10. theorem OAI.QuantitativeVanDerWaerden.Parameters.cutoff_lower line 30
  11. theorem OAI.QuantitativeVanDerWaerden.Parameters.dimension_upper line 33
  12. theorem OAI.QuantitativeVanDerWaerden.Parameters.cutoff_upper line 41
  13. theorem OAI.QuantitativeVanDerWaerden.Parameters.dimension_pos line 49
  14. theorem OAI.QuantitativeVanDerWaerden.Parameters.cutoff_pos line 55
  15. theorem OAI.QuantitativeVanDerWaerden.Parameters.dimension_sq_lower line 61
  16. theorem OAI.QuantitativeVanDerWaerden.Parameters.dimension_sq_upper line 70
  17. theorem OAI.QuantitativeVanDerWaerden.Parameters.dimension_cutoff_upper line 80
  18. theorem OAI.QuantitativeVanDerWaerden.Parameters.flipProbability_pos line 93
  19. theorem OAI.QuantitativeVanDerWaerden.Parameters.flip_mass line 96
  20. theorem OAI.QuantitativeVanDerWaerden.Parameters.meshScale_pos line 104
  21. theorem OAI.QuantitativeVanDerWaerden.Parameters.cutScale_pos line 108