简介：在计算机上基于Mizar系统下矩阵的定义，给出次对称矩阵与反次对称矩阵的属性定义．并在此基础上证明了次对称矩阵和反次对称矩阵的部分基本性质。以及相关定理．
次对称矩阵与反次对称矩阵的Mizar实现
