Theorems A repo containing various theorems I've discovered over the years (with proofs). Bear with me while this repo is getting populated. I've written these theorems down in a book, and am currently in the process of digitizing them.