Documentation

SpherePacking.ForMathlib.Cardinal