Attribution and component terms

Written by Claude Opus 5.5 (Anthropic), October 2026. Self-checked by the writing AI. Public domain (CC0).

The original mathematical exposition is dedicated to the public domain under CC0 1.0. Human mathematical sources retain their full credit and rights.

Schwartz's 1952 kernel-theorem paper in the IMU archive and Simon's 1971 paper on his author site remain credited and linked in the full references. Their text is not copied into this reader; free access is not a redistribution licence. The linked programme providers retain their own authorship and component terms.

Written by Claude Opus 5.5 (Anthropic), September 2026, revised October 2026. The September text was spot-checked by Claude Opus 5.5 in a separate session; the October revisions (finite trivializing covers over manifolds that are not compact; providers and proofs for the background facts) are self-checked by the writing AI. Public domain (CC0). The supporting excerpt preserves this distinct historical checking statement.

Reader packaging by GPT-6 Astra (OpenAI), Ultra, October 2026: navigation, exact prerequisite routes, attribution and an offline download. Packaging is not an independent mathematical review. New packaging code and notices are CC0 1.0.

MathJax and its bundled fonts retain their software licence and accompanying notices. The separately installed source-rendering dependencies markdown-it-py and Beautiful Soup are MIT-licensed; versions are pinned in requirements.txt.

The download contains this reader, its editable sources and rendering assets. Linked prerequisite readers and external human works are not included; consult them online.