OAI/Geometry/CylinderCovering/Nilpotent/SmoothRateDefinitions.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.CylinderCovering.NilpotentRate.Plane line 12
  2. abbrev OAI.CylinderCovering.NilpotentRate.Index line 13
  3. def OAI.CylinderCovering.NilpotentRate.integerVector line 15
  4. def OAI.CylinderCovering.NilpotentRate.tile line 17
  5. def OAI.CylinderCovering.NilpotentRate.cell line 20
  6. def OAI.CylinderCovering.NilpotentRate.coarseIndices line 22
  7. def OAI.CylinderCovering.NilpotentRate.gridUnion line 25
  8. def OAI.CylinderCovering.NilpotentRate.fineCenter line 28
  9. def OAI.CylinderCovering.NilpotentRate.collarRadius line 31
  10. def OAI.CylinderCovering.NilpotentRate.retainedIndices line 33
  11. def OAI.CylinderCovering.NilpotentRate.affineVelocity line 38
  12. def OAI.CylinderCovering.NilpotentRate.constructionCost line 41
  13. def OAI.CylinderCovering.NilpotentRate.constructionCarrier line 48
  14. def OAI.CylinderCovering.NilpotentRate.IsShearFrame line 54
  15. def OAI.CylinderCovering.NilpotentRate.BoundedSecondNear line 57
  16. def OAI.CylinderCovering.NilpotentRate.SmoothRateStatement line 62