线性代数笔记9——消元矩阵与置换矩阵