`OAI/Geometry/BallPacking/Models/`

255 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

BallVolume.lean 49 declarations
CubicPhysicalLocality.lean 46 declarations
DisjointClocks.lean 39 declarations
EqualNormalModelConvergence.lean 41 declarations
LiouvilleRadialCalculus.lean 32 declarations
RationalSlack.lean 28 declarations
SurfaceComparison.lean 20 declarations