Source: /cirosantilli/normed-vector-space

= Normed vector space
{wiki}