#### DMCA

## The complex numbers (1990)

by
Czesław Byliński

Venue: | Journal of Formalized Mathematics |

Citations: | 115 - 1 self |