OAI/Geometry/CylinderCovering/Ruled/CellsDefinitions.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ProductCells.Plane line 10
  2. def OAI.ProductCells.closedCell line 12
  3. def OAI.ProductCells.openCell line 15
  4. def OAI.ProductCells.parameterCell line 18
  5. def OAI.ProductCells.interceptCell line 20
  6. def OAI.ProductCells.logarithmicCell line 22
  7. def OAI.ProductCells.logarithmicIntercept line 24
  8. def OAI.ProductCells.dilation line 26
  9. def OAI.ProductCells.coordinateEquiv line 28
  10. def OAI.ProductCells.coordinateParameterCell line 31
  11. def OAI.ProductCells.coordinateInterceptCell line 34
  12. def OAI.ProductCells.areaRatio line 37
  13. def OAI.ProductCells.CellAreaStatement line 41
  14. def OAI.ProductCells.CellDilationStatement line 49
  15. def OAI.ProductCells.CellRatioStatement line 54
  16. def OAI.ProductCells.CellParameterStatement line 61
  17. def OAI.ProductCells.CellPerturbationStatement line 71
  18. def OAI.ProductCells.GeometryStatement line 77