| Main document: Contains everything except solutions to exercises. |
| Solutions manual: Only exercises + solutions. |
| Compressed notes 1: Only definitions + theorems/lemmas/propositions. |
| Compressed notes 2: Only definitions + theorems/lemmas/propositions + proofs. |