Metamath Proof Explorer


Syntax definition cccbar

Description: Syntax for the set of extended complex numbers CCbar .

Ref Expression
Assertion cccbar
class CCbar