A Property of Matrices Over a Commutative Semiring

• 交换半环上矩阵的一个性质