Metamath Proof Explorer


Syntax definition cccbar

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

Ref Expression
Assertion cccbar class ℂ̅