Works•Mathematics
Sjoerd Dirksen, Patrick Finke, Paul Geuchen
Published Oct 28, 2026Fresh — added to the Hub within the last 30 days · v1
No machine checks are available from the Hub API for this paper.