Finite-dimensional vector space (source code)

= Finite-dimensional vector space
{wiki}

A vector space is finite-dimensional when it has a <finite set> as a <basis>.