User:J D Bowen/For Julia

To show: $\text{Hom}_R ( A \otimes B, C) \cong \text{Hom}_R (A, \text{Hom}_R(B,C)))$