Metamath Proof Explorer


Syntax definition cccinfty

Description: Syntax for the circle at infinity CCinfty .

Ref Expression
Assertion cccinfty
class CCinfty