Journal of Formalized Mathematics
EMM, 2003
University of Bialystok
Copyright (c) 2003 Association of Mizar Users

Complex Numbers --- Basic Theorems


Library Committee
Association of Mizar Users

MML Identifier: XCMPLX_1

Contents (PDF format)

  1. Main Part
  2. Appendix

Received April 10, 2003

[ Download a postscript version, MML identifier index, Mizar home page]