Solution
= Solution
<Independence> of the two samples makes their sample means independent normal random variables. A difference of independent normal random variables is normal, with the means subtracted and the variances added. Thus
$$
\boxed{\bar X-\bar Y\sim N\!\left(\mu_X-\mu_Y,\sigma^2(1/m+1/n)\right)}.
$$