OAI/Geometry/HeilbronnTriangle/SharedGeometricAlteration.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem355.SharedGeometricAlteration.triangleArea_swap_left line 13
2. lemma OAI.Problem355.SharedGeometricAlteration.triangleArea_swap_right line 19
3. lemma OAI.Problem355.SharedGeometricAlteration.pair_collision_iff line 25
4. lemma OAI.Problem355.SharedGeometricAlteration.triple_bad_iff line 37
5. def OAI.Problem355.SharedGeometricAlteration.pairMass line 55
6. def OAI.Problem355.SharedGeometricAlteration.tripleMass line 61
7. theorem OAI.Problem355.SharedGeometricAlteration.exists_configuration line 68