OAI/Geometry/HeilbronnTriangle/BadTripleAverage.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.Sampling.bad_triple_average_le line 12
2. theorem OAI.Problem355.Sampling.bad_triple_average_le_six line 48
3. theorem OAI.Problem355.Sampling.lifting_weighted_count_bound line 63
4. theorem OAI.Problem355.Sampling.bad_triple_average_of_lifting_bounds line 88