The field of complex numbers

Cached

Download Links

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