The field of complex numbers

View PDF

Download Links

by Anna Justyna Milewska
Venue:Journal of Formalized Mathematics
Citations:27 - 1 self