Dimension of a vector space (source code)

= Dimension of a vector space
{title2=$\dim V$}
{wiki=Dimension_(vector_space)}

= Dimensions of a vector space
{synonym}

= Dimension
{synonym}

The dimension of a vector space is the cardinality of any of its <bases>.