OAI/Geometry/BallPacking/Toric/
257 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- CubicCoefficientDifferential.lean 40 declarations
- CubicRadialFamilyExtension.lean 40 declarations
- CubicRadialProbability.lean 19 declarations
- RadialDiskSmooth.lean 38 declarations
- RestrictedMassIndependence.lean 45 declarations
- SixModelComparisonData.lean 38 declarations
- StationaryManifoldPullback.lean 23 declarations
- ToricClosedShift.lean 14 declarations