Last modified on 18 June 2013, at 21:06

real vector space