OAI/Geometry/CylinderCovering/Barycentric/FiniteDefinitions.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.RadialCoordinates.BarycentricFinite.Space line 12
  2. def OAI.RadialCoordinates.BarycentricFinite.midpoint line 14
  3. def OAI.RadialCoordinates.BarycentricFinite.secondDirection line 18
  4. def OAI.RadialCoordinates.BarycentricFinite.firstAxis line 22
  5. def OAI.RadialCoordinates.BarycentricFinite.secondAxis line 24
  6. def OAI.RadialCoordinates.BarycentricFinite.projection line 26
  7. def OAI.RadialCoordinates.BarycentricFinite.firstLocalSweep line 28
  8. def OAI.RadialCoordinates.BarycentricFinite.secondLocalSweep line 33
  9. def OAI.RadialCoordinates.BarycentricFinite.firstBase line 38
  10. def OAI.RadialCoordinates.BarycentricFinite.secondBase line 41
  11. def OAI.RadialCoordinates.BarycentricFinite.cylinder line 44
  12. def OAI.RadialCoordinates.BarycentricFinite.area line 47
  13. def OAI.RadialCoordinates.BarycentricFinite.totalArea line 49
  14. def OAI.RadialCoordinates.BarycentricFinite.Statement line 52