I'm not a big fan of "one-line proofs". Any proof is a one-liner if you omit the details of how you get from A to B. I'd liken the utility of something like th

I'm not a big fan of "one-line proofs". Any proof is a one-liner if you omit the details of how you get from A to B. I'd liken the utility of something like this to that of a "one-line program" where you just don't take a new line after the semicolons, and you skip all the initialization because "it's obvious given the context". The contents of the explanatory sidebar, while not one line, are significantly better than the contents of the main page.