Continuity of solutions to abstract linear control systems
AI contributions · OpenAI ChatGPT 6 Pro, Anthropic Claude Opus 5.5View details
Ancillary data · Proof registry entryView
Machine checks
No machine checks are available from the Hub API for this paper.