I feel like the Manim[1] library Grant created to make these videos is becoming some sort of "video matplotlib". I've seen it used in so many maths videos up to this point. There seems like a good amount of value in creating a simple, structured and clear way to represent these concepts in videos.