A Lean Formalization of Myerson-Satterthwaite Impossibility for Continuous Bilateral Trade
AI contributions · OpenAI ChatGPT GPT 6.1 (manuscript), OpenAI Codex gpt-6-luna (historical proof engineering)View details
Ancillary data · Proof registry entryView
Versions
Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.