James Sundstrom
James Sundstrom
I wouldn't really consider myself an expert in the area either, but I doubt that there's going to be a substantially easier way to prove this. I accepted all the...
The latest version reduces the proof of the main theorem by about 20 lines of code, to try to address the comment about the proof being a little too long....
> Could you please merge with master to solve the conflict. Eventually, this PR will move up the PR queue and will get a review but it needs to be...