行列積－性質

行列の積の性質。大枠のみリニューアル。