OAI/Geometry/HeilbronnTriangle/AuxiliaryCap.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem355.AuxiliaryCap.quad line 10
  2. theorem OAI.Problem355.AuxiliaryCap.quad_eq_zero_iff line 12
  3. def OAI.Problem355.AuxiliaryCap.graph line 30
  4. def OAI.Problem355.AuxiliaryCap.linePoint line 33
  5. theorem OAI.Problem355.AuxiliaryCap.linePoint_mem_graph_iff line 36
  6. theorem OAI.Problem355.AuxiliaryCap.linePoint_eq_lineMap line 73
  7. theorem OAI.Problem355.AuxiliaryCap.not_collinear_graph line 78
  8. def OAI.Problem355.AuxiliaryCap.graphEquiv line 97
  9. theorem OAI.Problem355.AuxiliaryCap.card_graph line 109
  10. def OAI.Problem355.AuxiliaryCap.IsCap line 114
  11. theorem OAI.Problem355.AuxiliaryCap.IsCap.mono line 118
  12. theorem OAI.Problem355.AuxiliaryCap.IsCap.image line 123
  13. theorem OAI.Problem355.AuxiliaryCap.IsCap.translate line 137
  14. theorem OAI.Problem355.AuxiliaryCap.isCap_graph line 142
  15. def OAI.Problem355.AuxiliaryCap.graphFinset line 146
  16. theorem OAI.Problem355.AuxiliaryCap.mem_graphFinset line 149
  17. theorem OAI.Problem355.AuxiliaryCap.card_graphFinset line 153
  18. theorem OAI.Problem355.AuxiliaryCap.exists_finset_cap line 158
  19. theorem OAI.Problem355.AuxiliaryCap.exists_graph_cap line 164