spelled out at *Existence and balancing* that deriving the tensor product in the left argument yields the same result as deriving in the right argument (using the spectral sequence of the tensor product of two resolutions).

filled in the remaining details or else pointers to details in other $n$Lab entries at *Tor – respect for direct sums and filtered colimits*

have now spelled out at *Tor* in simple terms how $Tor_1^{Ab}(A,B)$ is a torsion group, so far for the case that $A$ is finite.