例题10,抽象矩阵的证明
发布人