Metamath Proof Explorer


Syntax definition cc

Description: Class of complex numbers.

Ref Expression
Assertion cc
class CC