The field of complex numbers (0)

by Anna Justyna Milewska
Venue:Formalized Mathematics