OAI/Geometry/HeilbronnTriangle/CapInBox.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.AuxiliaryCap.exists_cap_subset line 11
2. theorem OAI.Problem355.AuxiliaryCap.exists_cap_subset_real line 29
3. def OAI.Problem355.AuxiliaryCap.residueInterval line 37
4. theorem OAI.Problem355.AuxiliaryCap.card_residueInterval line 41
5. theorem OAI.Problem355.AuxiliaryCap.mem_residueInterval line 54
6. def OAI.Problem355.AuxiliaryCap.residueBox line 65
7. theorem OAI.Problem355.AuxiliaryCap.card_residueBox line 68
8. theorem OAI.Problem355.AuxiliaryCap.mem_residueBox line 72
9. theorem OAI.Problem355.AuxiliaryCap.exists_cap_in_residueBox line 76
10. theorem OAI.Problem355.AuxiliaryCap.exists_cap_in_residueBox_real line 88