prove tensor is a right exact functor

Loading comments...