OAI/Geometry/BallPacking/Annuli/
639 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- AnnularChartNormalization.lean 28 declarations
- AnnularCurvaturePrimitive.lean 51 declarations
- AnnularEmbeddedChart.lean 56 declarations
- AnnularHandleCurvature.lean 32 declarations
- AnnularHandleDensity.lean 40 declarations
- AnnularMean.lean 29 declarations
- BaseHorizontalForms.lean 66 declarations
- CircleHandleBump.lean 61 declarations
- CylinderAnnularNormalization.lean 55 declarations
- LayerCoordinates.lean 24 declarations
- QuadricCylinderChart.lean 69 declarations
- QuadricNormalizedCycle.lean 24 declarations
- SurfacePathPositivity.lean 66 declarations
- SurfaceSuspensionCoefficients.lean 38 declarations