## The field of complex numbers

by
Anna Justyna Milewska

Venue: | Journal of Formalized Mathematics |

Citations: | 27 - 1 self |