This repository contains some proofs about various mathematical objects. To convert to PDF Run the compile script -- bash compile