Thu, 19 Mar 2009 08:13:10 -0700 | huffman | add lemma det_diagonal; remove wellorder requirement on several lemmas | file | diff | annotate |
Thu, 19 Mar 2009 01:29:19 -0700 | huffman | imported patch euclidean | file | diff | annotate |
Thu, 12 Mar 2009 09:27:23 -0700 | huffman | remove trailing spaces | file | diff | annotate |
Wed, 04 Mar 2009 23:52:47 +0100 | wenzelm | removed old/broken CVS Ids; | file | diff | annotate |
Wed, 04 Mar 2009 19:21:28 +0000 | chaieb | fixed proofs | file | diff | annotate |
Sat, 21 Feb 2009 11:18:50 -0800 | huffman | remove duplicated lemmas about norm | file | diff | annotate |
Mon, 09 Feb 2009 17:21:19 +0000 | chaieb | Traces, Determinant of square matrices and some properties | file | diff | annotate |