Hello Brian,
This is absolutely what I have been waiting for years!
I have been educated in differential Topology in the...
Bourbaki style.
You do explain the other way round.
I guess anyone here can understand this brilliant lesson.
As to the WL it lacks the even elementary functions to do ...
elementary differential Geometry, or we have to type hundreds of
lines of code to get something very interresting.
(I have been using it since 1991, version 1.1.a)
Thank you very much.
Jean-Michel Paris Retired mathematician