OAI/Geometry/CylinderCovering/Footprints/QuadraticFootprintsDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CylinderCovering.Footprints.quadraticIntercept line 9
2. def OAI.CylinderCovering.Footprints.absoluteFootprint line 13
3. def OAI.CylinderCovering.Footprints.affineFootprint line 17
4. def OAI.CylinderCovering.Footprints.endpointFootprint line 21
5. def OAI.CylinderCovering.Footprints.absoluteArea line 26
6. def OAI.CylinderCovering.Footprints.affineArea line 30