-"""
-There is an explicit isomorphism between all finite-dimensional vector
-spaces. In particular, there is an isomorphism between the m-by-n
-matrices and `$R^(m \times n)$`. Since most vector operations are not
-available on Sage matrices, we have to go back and forth between these
-two vector spaces often.
+r"""
+In an `n`-dimensional vector space, representation with respect to
+a basis is an isometry between that space and `\mathbb{R}^{n}`.
+
+Sage is able to go back/forth relatively easy when you start with a
+``VectorSpace``, but unfortunately, it does not know that a
+``MatrixSpace`` is also a ``VectorSpace``. So, this module exists to
+perform the "basis representation" isometry between a matrix space and
+a vector space of the same dimension.
+