`OAI/Geometry/BallPacking/CircleAction/`

78 declarations, 0 contain sorry, 0 declared as axioms; 3 files

Files

CircleRelativeOneForm.lean 29 declarations
CircleRelativeRadialMoser.lean 32 declarations
DegreeCircleCovariance.lean 17 declarations