OAI/Geometry/BallPacking/Rigidity/
370 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- Adapted.lean 51 declarations
- AngularPoles.lean 40 declarations
- CompatibleStructures.lean 70 declarations
- CorrectedInfinity.lean 9 declarations
- Correction.lean 43 declarations
- CurveArea.lean 64 declarations
- PlanarResidueCutoff.lean 37 declarations
- RadialForm.lean 54 declarations
- TwoBallBound.lean 2 declarations