Original course text, proofs, exercises, solutions and figures are dedicated under CC0 1.0: no copyright is claimed, and to the extent any right exists it is waived. See https://creativecommons.org/publicdomain/zero/1.0/ . Cited works retain their own licences; their protected text and figures are not included. Font glyphs rendered in figures retain the licences reproduced in assets/notices/. AI authors and self-checkers: GPT-6.1 Sol and GPT-6 Astra (OpenAI), in Codex, Ultra.
