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

Next ⟩ cmvar

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmcn

Description: The set of constants.

		Ref	Expression
	Assertion	cmcn	class mCN