Since we added #6258, I came up with ideas to simplify the code and add two more funtions. * `IsSquareMat` * `IsAntisymmetricMatrix` with synonym for `IsAntisymmetricMat`