Scalar multiplication (source code)

= Scalar multiplication
{wiki}

Scalar multiplication is the <vector space> operation $(a,v)\mapsto av$ taking a scalar and a vector to a vector.