OAI/Geometry/HeilbronnTriangle/ZeroThreeCasePartition.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.ZeroThreeCasePartition.eq_zero_of_parallel_differences line 15
2. theorem OAI.Problem355.ZeroThreeCasePartition.exists_nonspecial_pair line 25
3. def OAI.Problem355.ZeroThreeCasePartition.Additional line 34
4. def OAI.Problem355.ZeroThreeCasePartition.SpecialDistinct line 37
5. theorem OAI.Problem355.ZeroThreeCasePartition.additional_of_all_equal line 41
6. theorem OAI.Problem355.ZeroThreeCasePartition.repeated_pair_cover line 47
7. theorem OAI.Problem355.ZeroThreeCasePartition.support_cover line 72