`OAI/Geometry/BallPacking/Moments/`

382 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

AnalyticBoundary.lean 46 declarations
ConvexRearrangement.lean 49 declarations
ConvexWeights.lean 26 declarations
ExponentialMoment.lean 62 declarations
PolytopeSlices.lean 59 declarations
RadialSlopes.lean 49 declarations
RadialSwap.lean 36 declarations
RearrangementBounds.lean 55 declarations