## The field of complex numbers

by
Anna Justyna Milewska

Venue: | Journal of Formalized Mathematics |

Citations: | 29 - 1 self |