User:EmperorZelos/Equal Sided module tensor implies commutative

Theorem
Let $R$ be a ring and $M$ and $N$ be either both left or both right $R$-modules.

Let $S=R/$

$M\otimes N$