OAI/Geometry/CylinderCovering/Convexity/SimilarityDefinitions.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.Similarity.map line 12
  2. def OAI.CylinderCovering.Similarity.affineMap line 14
  3. def OAI.CylinderCovering.Similarity.project line 18
  4. def OAI.CylinderCovering.Similarity.carrier line 20
  5. def OAI.CylinderCovering.Similarity.baseMap line 23
  6. def OAI.CylinderCovering.Similarity.transportedBase line 26
  7. def OAI.CylinderCovering.Similarity.area line 31
  8. def OAI.CylinderCovering.Similarity.shadowArea line 33
  9. def OAI.CylinderCovering.Similarity.minimumArea line 35