OAI/Geometry/CylinderCovering/Convexity/IsometricCylinderEmbeddingDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CylinderCovering.IsometricEmbedding.map line 11
  2. def OAI.CylinderCovering.IsometricEmbedding.baseMap line 13
  3. def OAI.CylinderCovering.IsometricEmbedding.transportedBase line 16
  4. def OAI.CylinderCovering.IsometricEmbedding.scaledMap line 19
  5. def OAI.CylinderCovering.IsometricEmbedding.scaledBaseMap line 21
  6. def OAI.CylinderCovering.IsometricEmbedding.scaledTransportedBase line 24