Properties of invertible matrices
in-context