OAI/Geometry/HeilbronnTriangle/NormDeterminant.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem355.NormDeterminant.Variables line 12
  2. def OAI.Problem355.NormDeterminant.coordinateForm line 16
  3. def OAI.Problem355.NormDeterminant.determinantPolynomial line 19
  4. def OAI.Problem355.NormDeterminant.groupRename line 22
  5. theorem OAI.Problem355.NormDeterminant.rename_coordinateForm line 25
  6. theorem OAI.Problem355.NormDeterminant.rename_determinantPolynomial line 31
  7. theorem OAI.Problem355.NormDeterminant.swap_determinantPolynomial line 40
  8. theorem OAI.Problem355.NormDeterminant.eval_determinantPolynomial line 46
  9. def OAI.Problem355.NormDeterminant.normDeterminantPolynomial line 56
  10. theorem OAI.Problem355.NormDeterminant.swap_normDeterminantPolynomial line 59
  11. def OAI.Problem355.NormDeterminant.matrixCoordinates line 67
  12. theorem OAI.Problem355.NormDeterminant.eval_determinantPolynomial_matrixCoordinates line 73
  13. theorem OAI.Problem355.NormDeterminant.eval_normDeterminantPolynomial_matrixCoordinates line 83
  14. theorem OAI.Problem355.NormDeterminant.eval_normDeterminantPolynomial_ne_zero line 90
  15. def OAI.Problem355.NormDeterminant.labelCoordinates line 97
  16. def OAI.Problem355.NormDeterminant.labelTriple line 100
  17. theorem OAI.Problem355.NormDeterminant.labelTriple_eq_matrixCoordinates line 104
  18. theorem OAI.Problem355.NormDeterminant.eval_normDeterminantPolynomial_labels_ne_zero line 112