I’ve put the proof of the Noether-Skolem theorem, as well as some preliminary material in this commit on the notes repository. I’m starting to fall a bit behind the lecturing in the typed notes, but I’ll try to do some catch-up!