503.2 - Tangent vectors without embedding space - Tangent vectors as equivalence classes

From Nicolas Boumal