Fri, 18 May 2007 18:20:39 +0200 | huffman | minimize imports | changeset | files |
Fri, 18 May 2007 17:35:07 +0200 | huffman | Prove existence of nth roots using Intermediate Value Theorem | changeset | files |
Fri, 18 May 2007 16:13:07 +0200 | huffman | avoid using real_mult_inverse_left; cleaned up | changeset | files |