| Sun, 20 May 2007 08:16:29 +0200 | huffman | add lemmas about inverse functions; cleaned up proof of polar_ex | changeset | files |
| Sun, 20 May 2007 08:00:48 +0200 | huffman | change premises of DERIV_inverse_function lemma | changeset | files |
| Sun, 20 May 2007 05:27:45 +0200 | huffman | rearranged sections | changeset | files |