The Deligne-Drinfeld conjecture
AI contributions · unreleased internal OpenAI modelView details
Ancillary data · Formal proof, 5 proof or workflow linksView
Machine checks
No machine checks are available from the Hub API for this paper.
No machine checks are available from the Hub API for this paper.