$(M/M')\otimes N$ と $(M\otimes N)/(M'\otimes N)$ は同型か？という問題に置き換えれば解決できそう。
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
