OAI/Geometry/HeilbronnTriangle/HomogeneousGeometry.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem355.Homogeneous.Column line 10
  2. def OAI.Problem355.Homogeneous.project line 12
  3. def OAI.Problem355.Homogeneous.columns line 14
  4. theorem OAI.Problem355.Homogeneous.project_cross_eq line 17
  5. theorem OAI.Problem355.Homogeneous.project_area_eq line 26
  6. def OAI.Problem355.Homogeneous.InBox line 37
  7. theorem OAI.Problem355.Homogeneous.project_in_unit_square line 40
  8. theorem OAI.Problem355.Homogeneous.project_area_lower_bound line 47
  9. theorem OAI.Problem355.Homogeneous.project_area_lower_bound_of_box line 66