3 ms·
from context I am guessing that the non-tilted ones that are shown are provably the smallest possible such squares, not just the smallest known. But that is not
by topaz0 4y ago
from context I am guessing that the non-tilted ones that are shown are provably the smallest possible such squares, not just the smallest known. But that is not stated explicitly.
- robotresearcher 4y agoEach is tagged with ‘trivial’, ‘found’ or ‘proved’.