`OAI/Geometry/BallPacking/Hamiltonian/`

131 declarations, 0 contain sorry, 0 declared as axioms; 4 files

Files

AnnularDensityMass.lean 16 declarations
CartesianMomentSlices.lean 27 declarations
LiftedCompact.lean 41 declarations
ScaledPlanarMotion.lean 47 declarations