Metamath Proof Explorer


Syntax definition cmtc

Description: The set of typecodes.

Ref Expression
Assertion cmtc
class mTC