Quotient vector space (source code)

= Quotient vector space
{title2=$V/W$}
{wiki}

For a <vector subspace> $W\leq V$, the quotient vector space $V/W$ consists of cosets $v+W$, with vector operations induced from $V$.