2 ms·No - It likely means that the proof was meandering, and had lots of additional pointless steps.by BeetleB 6mo agoNo - It likely means that the proof was meandering, and had lots of additional pointless steps.