OAI/Geometry/CylinderCovering/Radial/CapsDefinitions.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CylinderCovering.RadialCaps.G line 8
2. def OAI.CylinderCovering.RadialCaps.H line 10
3. def OAI.CylinderCovering.RadialCaps.D0 line 12
4. def OAI.CylinderCovering.RadialCaps.linearCap line 14
5. def OAI.CylinderCovering.RadialCaps.cubicCap line 16
6. def OAI.CylinderCovering.RadialCaps.fractionalCap line 18
7. def OAI.CylinderCovering.RadialCaps.sqrtCap line 20
8. def OAI.CylinderCovering.RadialCaps.Q line 22