Descriptions of the main theorems and definitions in all the pure maths courses at Imperial - View it on GitHub