A compilation of notes of more theoretical concepts and formal theorems/definitions in different areas of mathematics.