3 ms·Nice diagrams and proofs! This is one of those that can feel obvious, but needs a bit of deep mathby bo1024 5y agoNice diagrams and proofs! This is one of those that can feel obvious, but needs a bit of deep math