Partial tangent functor

From Free net encyclopedia