New version of the compendium

Here is a new version of the lecture notes (with all errors and typos that I know of fixed, and with some improved explanations in some places).

Publisert 22. mai 2023 11:12 - Sist endret 22. mai 2023 11:12