`OAI/Geometry/BallPacking/DiskMaps/`

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

Files

CompactEmbeddingIsotopy.lean 46 declarations
CubicAreaExhaustion.lean 35 declarations
FlatIsotopy.lean 31 declarations
NormalizedRoundedBoxes.lean 20 declarations
ParameterRelativeDiskMoser.lean 23 declarations
SmoothConvexSelection.lean 43 declarations
SmoothInverse.lean 16 declarations