Sat, 21 Feb 2009 15:39:59 -0800 |
huffman |
real_inner class instance for vectors
|
file |
diff |
annotate
|
Sat, 21 Feb 2009 11:18:50 -0800 |
huffman |
remove duplicated lemmas about norm
|
file |
diff |
annotate
|
Sat, 21 Feb 2009 10:58:25 -0800 |
huffman |
real_normed_vector instance
|
file |
diff |
annotate
|
Sat, 21 Feb 2009 09:55:32 -0800 |
huffman |
fix real_vector, real_algebra instances
|
file |
diff |
annotate
|
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
|