58 ms·My proof is too big for the margins of this window. Guess it's time to get a larger monitor...by mcswell 5y agoMy proof is too big for the margins of this window. Guess it's time to get a larger monitor...