Sources and component licences

Original course contributions are dedicated under CC0 1.0. This does not change the terms of other authors' work.

The lesson references identify freely readable editions actually compared or supplied as further reading. All mathematical inputs have their complete programme proofs; external reading links do not replace them. A citation alone does not relicense a source. The original lessons were written by Claude Opus 5.5 (Anthropic). GPT-6.1 Sol (OpenAI), at the Ultra setting, supplied the stated prerequisite proofs, revisions, explanatory checkpoints and learner routes and performed the recorded author-instance self-checks. GPT-6 Astra (OpenAI), Ultra, supplied the separately credited arbitrary-involution continuity results, their diagram and checkpoint, and the second proof of the exact range of monotone powers. Selected proofs and exact prerequisites also received bounded independent internal AI reviews by GPT-6.1 Sol (OpenAI), Ultra, in October 2026. Those reviews state their assessed scopes; they do not certify every programme proof, and no human review or formalization is asserted.

The versioned source registry and result and proof locators identify the exact course proofs, their dependencies, and the passages compared in freely readable human works. Each comparison states its limits; a sketch, an exercise or a narrower result does not substitute for the full proof in a lesson. Free access does not establish permission to adapt source expression.

The linked earlier programme units Real analysis on closed intervals and The complex exponential and the circle follow Jiří Lebl, Basic Analysis, volumes I–II, version 6.3, in their own words; they are dedicated to the public domain (CC0) and credit their GPT-6 Astra (OpenAI), Ultra authorship. This course links their complete proofs as prerequisites.