Description: A normed vector space is a left vector space. (Contributed by Mario Carneiro, 4-Oct-2015)