Histories

So I’ve been playing around with tracing the history of lemmas, etc in the Stacks project over time. I’ve written a bunch of scripts to extract this information out of the git logs. Here a pdf file showing what happened to Nakayama’s lemma over time. Enjoy!

PS: Feel free to improve on the current version of Nakayama’s lemma in the Stacks project and to submit it for inclusion, so we can add more stages to its history!