Completing the formal proof of higher-dimensional sphere packing(math.inc)1 points by carnevalem 122 days ago | 0 commentsNo comments yet