log wisdom/vector space @ 9288:2bb3ea90aa0c

age author description
Mon, 02 Nov 2015 13:35:48 +0000 HackBot <oerjan> le/rn vector space/A vector space is just a module over a field.