OAI/Geometry/HeilbronnTriangle/UniformFixedFiberCount.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem355.UniformFixedFiberCount.log_four_mul_le line 16
2. lemma OAI.Problem355.UniformFixedFiberCount.normal_log_le_log_square line 20
3. def OAI.Problem355.UniformFixedFiberCount.commonConstant line 25
4. lemma OAI.Problem355.UniformFixedFiberCount.commonConstant_nonneg line 28
5. theorem OAI.Problem355.UniformFixedFiberCount.sum_fiber_le line 34
6. theorem OAI.Problem355.UniformFixedFiberCount.lifted_small_event_le_of_cases line 61
7. theorem OAI.Problem355.UniformFixedFiberCount.matrix_fiber_le_of_zero_count line 108
8. lemma OAI.Problem355.UniformFixedFiberCount.box_height_ne_zero line 153
9. lemma OAI.Problem355.UniformFixedFiberCount.box_abs_le_two_mul line 162
10. def OAI.Problem355.UniformFixedFiberCount.countConstant line 179
11. lemma OAI.Problem355.UniformFixedFiberCount.countConstant_nonneg line 182
12. lemma OAI.Problem355.UniformFixedFiberCount.countConstant_pos line 186
13. theorem OAI.Problem355.UniformFixedFiberCount.matrix_fiber_le line 192