:: Field Properties of Complex Numbers - Requirements
:: by Library Committee
::
:: Received May 29, 2003
:: Copyright (c) 2003 Association of Mizar Users
theorem Th1: :: ARITHM:1
Lm1:
- 0 = 0
Lm2:
opp 0 = 0
theorem Th2: :: ARITHM:2
theorem Th3: :: ARITHM:3
theorem :: ARITHM:4
theorem :: ARITHM:5
Lm3:
1 " = 1
theorem :: ARITHM:6