OAI/Geometry/CylinderCovering/Singular/EdgeOneGeometryDefinitions.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SingularEdgeOne.edgeDomain0 line 9
2. def OAI.SingularEdgeOne.edgeField line 12
3. def OAI.SingularEdgeOne.physicalSimilarity line 15
4. def OAI.SingularEdgeOne.labelMap line 18
5. def OAI.SingularEdgeOne.edgeTetrahedron line 21
6. def OAI.SingularEdgeOne.edgeLower line 25
7. def OAI.SingularEdgeOne.edgeUpper line 30
8. def OAI.SingularEdgeOne.upperSegments line 35