|
From: Stephen B. <ste...@ve...> - 2005-10-14 20:15:07
|
Will people please refer me to the most complete theory of the complex numbers that's available for me to use with HOL4? I need complex exponentials and logarithms. Steve Brackin |