This is a formal write-up of the first theorem we proved in class. You can use this as a template for your own write-ups. The notes in the comments of the code should provide a brief introduction to using LaTeX.
This project was created to make it easier to start creating a Thesis for Northumbria University. The university has verbose guidelines on how a PhD document should be set up. This project was created so that you can quickly and easily start a Thesis in LaTeX.