This repository contains some proofs about various mathematical objects.

To convert to PDF

Run the compile script -- bash compile