← Back to context Comment by ReptileMan 10 hours ago Why didn't you ran them to find simpler proof? This could also be big. 1 comment ReptileMan Reply fn-mote 9 hours ago That's next week's work.
That's next week's work.