Hacker News new | ask | show | jobs
by BeetleB 50 days ago
No - It likely means that the proof was meandering, and had lots of additional pointless steps.