OAI/Geometry/HeilbronnTriangle/SampleDeletion.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.Alteration.collisionEdges line 8
2. def OAI.Problem355.Alteration.badTripleEdges line 14
3. theorem OAI.Problem355.Alteration.pair_mem_collisionEdges line 21
4. theorem OAI.Problem355.Alteration.triple_mem_badTripleEdges line 30
5. theorem OAI.Problem355.Alteration.collisionEdges_card_le line 43
6. theorem OAI.Problem355.Alteration.badTripleEdges_card_le line 48
7. theorem OAI.Problem355.Alteration.exists_sample_subset_avoiding line 54