OAI/Geometry/CylinderCovering/Radial/OverlapDefinitions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CylinderCovering.RadialOverlap.RootEquations line 8
2. def OAI.CylinderCovering.RadialOverlap.rho line 12
3. def OAI.CylinderCovering.RadialOverlap.sigma line 14
4. def OAI.CylinderCovering.RadialOverlap.T line 16
5. def OAI.CylinderCovering.RadialOverlap.S line 18
6. def OAI.CylinderCovering.RadialOverlap.IdentitiesStatement line 20
7. def OAI.CylinderCovering.RadialOverlap.ComplementaryBoundStatement line 29