Commit 2024-07-17 09:11 a721a5ba
View on Github →feat: matrices of matrices (#14512) Show that $M_n(M_p(R))$ is isomorphic to $M_{np}(R)$, and generalisations of this statement.
feat: matrices of matrices (#14512) Show that $M_n(M_p(R))$ is isomorphic to $M_{np}(R)$, and generalisations of this statement.