Patrick Kofod Mogensen Fri, 29 May 2015 08:18:49 -0700
In the definition of the immutable LinSpace, we have