Metamath Proof Explorer


Syntax definition ccchat

Description: Syntax for CChat .

Ref Expression
Assertion ccchat
class CChat