Metamath Proof Explorer - cc

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition cc 4026

Description: Class of complex numbers.

**Assertion**
Ref	Expression
cc	class ℂ

See definition df-c 4034 for more information.

Colors of variables: wff set class