Edit requests of sympyで「行列の回転(Rotation matrix)逆回転」をやってみた//simplifyがmatrixでもできた