Metamath Proof Explorer


Syntax definition cccinftyN

Description: Syntax for the circle at infinity CCinftyN .

Ref Expression
Assertion cccinftyN
class CCinftyN