Commit 2024-11-08 13:01 e6365086
View on Github →feat(LinearAlgebra/Matrix/ToLin): for R-module M, End(Mⁿ) ≅ Matₙₓₙ(End(M)) (#18752) This isomorphism is defined in a similar fashion to LinearMap.toMatrix', but we consider End(Mⁿ) instead of End(Rⁿ)
feat(LinearAlgebra/Matrix/ToLin): for R-module M, End(Mⁿ) ≅ Matₙₓₙ(End(M)) (#18752) This isomorphism is defined in a similar fashion to LinearMap.toMatrix', but we consider End(Mⁿ) instead of End(Rⁿ)