OAI/Geometry/CylinderCovering/Singular/EdgeOneCoverDefinitions.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.SingularEdgeOneCover.map line 12
  2. def OAI.CylinderCovering.SingularEdgeOneCover.height line 14
  3. def OAI.CylinderCovering.SingularEdgeOneCover.tetrahedron line 16
  4. def OAI.CylinderCovering.SingularEdgeOneCover.labelDomain line 20
  5. def OAI.CylinderCovering.SingularEdgeOneCover.lowerFamily line 24
  6. def OAI.CylinderCovering.SingularEdgeOneCover.upperFamily line 29
  7. def OAI.CylinderCovering.SingularEdgeOneCover.lowerTip line 34
  8. def OAI.CylinderCovering.SingularEdgeOneCover.upperTip line 37
  9. def OAI.CylinderCovering.SingularEdgeOneCover.cost line 40
  10. def OAI.CylinderCovering.SingularEdgeOneCover.FiniteCoverAt line 46
  11. def OAI.CylinderCovering.SingularEdgeOneCover.AlternativeStatement line 57
  12. def OAI.CylinderCovering.SingularEdgeOneCover.FlexibleStatement line 62
  13. def OAI.CylinderCovering.SingularEdgeOneCover.ExactStatement line 67
  14. def OAI.CylinderCovering.SingularEdgeOneCover.CostAt line 73
  15. def OAI.CylinderCovering.SingularEdgeOneCover.CostStatement line 79
  16. def OAI.CylinderCovering.SingularEdgeOneCover.AlternativeCostStatement line 87