Completing the formal proof of higher-dimensional sphere packing

(math.inc)

1 points | by carnevalem 5 hours ago ago