Quite true. Real math needs practice and calculation to build the intuition and motivation towards the abstraction we want to construct. The video is more of a complementary material to the boring lectures (my prof uses 3b1b videos sometimes).