Exercises on tensor productLike

Proof 1. is a well defined linear map from to .

2.For any bilinear operator , defines a linear operator from to . This is because where .