Some Standard Examples of Vector Spaces

In this article, using the Mizar system, we introduce some standard examples of vector spaces, e.g., the vector space of linear transformations between vector spaces. We formulate some conditions for the isomorphism of finite-dimensional vector spaces and prove that linear transformations are uniquely determined by their values with respect to the basis.