Fri, 13 Feb 2009 14:45:10 -0800 | huffman | section -> subsection | file | diff | annotate |
Fri, 13 Feb 2009 14:41:54 -0800 | huffman | add instance for cancel_comm_monoid_add | file | diff | annotate |
Thu, 12 Feb 2009 12:35:45 -0800 | huffman | fix document generation | file | diff | annotate |
Mon, 09 Feb 2009 17:08:49 +0000 | chaieb | fixed proof -- removed unnecessary sorry | file | diff | annotate |
Mon, 09 Feb 2009 16:54:03 +0000 | chaieb | (Real) Vectors in Euclidean space, and elementary linear algebra. | file | diff | annotate |