Installed IsRightInvertibleMatrix / IsLeftInvertibleMatrix