Every idea in this atlas arrives with the people who fought for it. The Classification of Finite Simple Groups: The Enormous Theorem did not appear fully formed — it was argued over, abandoned, and rediscovered across the Machines That Prove (1970 - 2000).
INTERACTIVE LESSON
The cinematic story and the hands-on exercises for this topic are being written. They'll appear here — playable on their own page — the moment this lesson is authored.