OAI/Geometry/CylinderCovering/Barycentric/MetricDefinitions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CylinderBarycentricMetric.Physical line 11
2. abbrev OAI.CylinderBarycentricMetric.Barycentric line 12
3. def OAI.CylinderBarycentricMetric.tetrahedron line 14
4. def OAI.CylinderBarycentricMetric.projection line 17
5. def OAI.CylinderBarycentricMetric.shadowArea line 19
6. def OAI.CylinderBarycentricMetric.embedding line 22
7. def OAI.CylinderBarycentricMetric.inverse line 34
8. def OAI.CylinderBarycentricMetric.offset line 39
9. def OAI.CylinderBarycentricMetric.fromPhysical line 41
10. def OAI.CylinderBarycentricMetric.ProjectionStatement line 44