Comment by majikaja

This is cool

I guess intros based on the structure of mathlib could work for people who haven't published their own textbooks.