3 ms·

And I think math journals would benefit from a wiki approach. Anyone could modify the proofs and add comments/explanations.