OAI/Geometry/CylinderCovering/Singular/BasicDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CylinderCovering.FlexibleSingular.labelDomain line 12
2. def OAI.CylinderCovering.FlexibleSingular.lowerFamily line 16
3. def OAI.CylinderCovering.FlexibleSingular.upperFamily line 20
4. def OAI.CylinderCovering.FlexibleSingular.cost line 25
5. def OAI.CylinderCovering.FlexibleSingular.Statement line 29
6. def OAI.CylinderCovering.FlexibleSingular.OrthogonalStatement line 50