`OAI/Geometry/BallPacking/Surfaces/`

234 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

DiagonalQuadric.lean 76 declarations
QuadricAnnulusDomain.lean 53 declarations
QuadricCurveManifold.lean 37 declarations
QuadricInfinityDiffeomorph.lean 45 declarations
QuadricOrientation.lean 23 declarations