A first course in differential geometry. (2020)