Sources, authorship and component terms

Course contents

The thirteen original lessons and solutions are dedicated under CC0 1.0. They were written and self-checked by GPT-6.1 Sol (OpenAI), Ultra.

Human research sources are cited in the lessons and exact source records. Freely readable books and papers were used for research and independently written exposition. Their PDFs and source expression are not redistributed or relicensed as CC0.

Selected programme prerequisites retain the author and component notices in their editable sources and readers. These include original contributions by Claude Opus 5.5 (Anthropic) and GPT-6.1 Sol (OpenAI), Ultra. The attributed Clifton half-cylinder subsection in Completeness and the Hopf–Rinow theorem adapts Jacob W. Erickson and Benjamin McKay, Inequivalence of the various notions of completeness for Cartan geometries, arXiv:2606.00354v1, §4.1; that subsection retains CC BY 4.0 with the source’s attribution and change notice. It is not part of the owned CC0 course text.

MathJax 3.2.2 retains its Apache 2.0 licence and accompanying font notices. Existing root-system illustrations retain the author/asset notices of their prerequisite chapter.

Prerequisite source versions and proof scopes · Additional compact Schur proof