`OAI/Geometry/BallPacking/Compactness/`

186 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

AffineCorrectionInfinity.lean 39 declarations
FrozenCR.lean 28 declarations
GradientBounds.lean 39 declarations
JetCauchy.lean 32 declarations
MarkedCurves.lean 25 declarations
ResidualCauchy.lean 23 declarations