Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmtc

Next ⟩ cmax

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmtc

Description: The set of typecodes.

		Ref	Expression
	Assertion	cmtc	$class mTC$