OAI/Geometry/HeilbronnTriangle/AuxiliaryThreeCase.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.AuxiliaryThreeCase.ExceptionalVector line 17
2. theorem OAI.Problem355.AuxiliaryThreeCase.not_exceptional_zero_one line 21
3. theorem OAI.Problem355.AuxiliaryThreeCase.exists_nonexceptional line 34
4. theorem OAI.Problem355.AuxiliaryThreeCase.three_case_cover line 41
5. theorem OAI.Problem355.AuxiliaryThreeCase.three_case_cover_of_cap line 60
6. theorem OAI.Problem355.AuxiliaryThreeCase.sum_le_three_case_sums line 69
7. theorem OAI.Problem355.AuxiliaryThreeCase.special_weight_le_four line 110
8. theorem OAI.Problem355.AuxiliaryThreeCase.shell_sum_le_of_three_case_bounds line 121
9. theorem OAI.Problem355.AuxiliaryThreeCase.exceptionalVector_reduction line 166
10. theorem OAI.Problem355.AuxiliaryThreeCase.matrix_sum_le_three_case_sums line 170