The Russian student Ilja Bondarenko has produced a video on the tetrad postulate of ECE theory:
https://youtu.be/OUYHD7dIH0A
He used the tool Manim. A tutorial about how this Python library works can be found in
https://www.youtube.com/watch?v=KHGoFDB-raE
With this video, Ilja participated in a competition: the Summer of Math Exposition:
https://summerofmathexposition.substack.com/p/the-summer-of-math-exposition-is?s=r
According to the mathematical orientation of the competition, mathematical subjects have to be handled. Therefore, he choose the tetrad postulate as a key statement of Cartan geometry. Initially he had to introduce the background of a unified field theory like ECE. Then he explained the postulate (which is not really a “postulate” but a lemma, as we know) in animated formulas. He did great. Please watch the video for yourself.