Sun, 20 May 2007 03:19:42 +0200 | huffman | add lemmas about continuity and derivatives of roots | changeset | files |
Sun, 20 May 2007 03:19:14 +0200 | huffman | add lemma DERIV_inverse_function | changeset | files |
Sun, 20 May 2007 03:18:50 +0200 | huffman | add lemmas LIM_compose2, isCont_LIM_compose2 | changeset | files |