OAI/Geometry/HeilbronnTriangle/ZeroDeterminantCount.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem355.ZeroDeterminantCount.IntMatrix line 17
  2. abbrev OAI.Problem355.ZeroDeterminantCount.IntVector line 18
  3. structure OAI.Problem355.ZeroDeterminantCount.RowData line 20
  4. def OAI.Problem355.ZeroDeterminantCount.RowData.h line 39
  5. def OAI.Problem355.ZeroDeterminantCount.RowData.I line 40
  6. def OAI.Problem355.ZeroDeterminantCount.RowData.E line 41
  7. lemma OAI.Problem355.ZeroDeterminantCount.RowData.h_one line 43
  8. lemma OAI.Problem355.ZeroDeterminantCount.RowData.I_pos line 44
  9. lemma OAI.Problem355.ZeroDeterminantCount.RowData.E_pos line 45
  10. lemma OAI.Problem355.ZeroDeterminantCount.RowData.cube line 46
  11. def OAI.Problem355.ZeroDeterminantCount.planeConstant line 50
  12. lemma OAI.Problem355.ZeroDeterminantCount.planeConstant_nonneg line 51
  13. theorem OAI.Problem355.ZeroDeterminantCount.affine_shell_le line 53
  14. theorem OAI.Problem355.ZeroDeterminantCount.additional_shell_le line 88
  15. theorem OAI.Problem355.ZeroDeterminantCount.special_shell_le line 125