正方行列

実数体上の正方行列に関する様々な定義を更新。