# HG changeset patch
# User HackBot
# Date 1446471348 0
# Node ID 05e4861c3df3a9b8d4e24d4dc71f4cbed949b79d
# Parent  576df47edef0b44334eb3f4bd81edde7e64dffbb
<oerjan> le/rn vector space/A vector space is just a module over a field.

diff -r 576df47edef0 -r 05e4861c3df3 wisdom/vector space
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/vector space	Mon Nov 02 13:35:48 2015 +0000
@@ -0,0 +1,1 @@
+A vector space is just a module over a field.