OAI/Combinatorics/ProgressionColoring/PerturbationScales.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.QuantitativeVanDerWaerden.Parameters.ceil_four_hundred_ge line 10
2. theorem OAI.QuantitativeVanDerWaerden.Parameters.ceil_four_ge line 16
3. theorem OAI.QuantitativeVanDerWaerden.Parameters.flipProbability_le_one line 22
4. theorem OAI.QuantitativeVanDerWaerden.Parameters.flip_integer_power_le line 26
5. theorem OAI.QuantitativeVanDerWaerden.Parameters.survival_integer_power_le line 33
6. theorem OAI.QuantitativeVanDerWaerden.Parameters.real_rich_risk_le line 48
7. theorem OAI.QuantitativeVanDerWaerden.Parameters.integer_rich_risk_le line 74
8. theorem OAI.QuantitativeVanDerWaerden.Parameters.primeScale_rich_risk_le line 82
9. theorem OAI.QuantitativeVanDerWaerden.Parameters.integer_affine_risk_le line 89