OAI/Geometry/HeilbronnTriangle/SamplingErrors.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem355.SamplingErrors.log_bound_of_polynomial_bound line 8
2. lemma OAI.Problem355.SamplingErrors.pair_error_le line 27
3. lemma OAI.Problem355.SamplingErrors.triple_error_le line 40
4. lemma OAI.Problem355.SamplingErrors.sample_le_power line 59
5. lemma OAI.Problem355.SamplingErrors.triple_error_log_le line 69
6. lemma OAI.Problem355.SamplingErrors.errors_small line 83
7. theorem OAI.Problem355.SamplingErrors.relative_error_lt_one line 105