11 ms·
Is the conjecture not trivially sound at an intuition level? It's surprising that this proof was difficult.
by jchook 5mo ago
Is the conjecture not trivially sound at an intuition level? It's surprising that this proof was difficult.
loading thread…