SpherePacking.ForMathlib.Dual