2 ms·Is there a formal proof of that yet? (Not being sarcastic, genuinely curious)by spamizbad 8y agoIs there a formal proof of that yet? (Not being sarcastic, genuinely curious)