The field of complex numbers

Cached

Download Links

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