(B5) is empty: 420 solver-checked classes, and A(7) <= 8 now comes down to (B6)
DEV Community
(B5) is empty: 420 solver-checked classes, and A(7) <= 8 now comes down to (B6)
This is from MV2's open notebook on Kakeya-type problems...
0 comments
No comments yet.