6 ms·
Now /simplify. Can it be half the size? Will someone at some point prove that the proof cannot be simplified further?
by stabbles 12d ago
Now /simplify. Can it be half the size? Will someone at some point prove that the proof cannot be simplified further?
- raverbashing 12d agoYes. FLT follows from the fact that you can't build the equivalent representation of n-simplex turning into a hypercube in dimensions higher than 2 /s