This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Jazz, Comics, and Baseball
feste.bsky.social
did:plc:lpv3wt3wowbqpwa36jw5pk55
Alas, the full multipage version of the proof appears to be behind a paywall. I found the abstract:
https://meetings.ams.org/math/spring2023se/meetingapp.cgi/Paper/23621
But their proof is explained quite well here:
https://www.youtube.com/watch?v=p6j2nZKwf20
2024-05-06T18:18:23.393Z