Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Grammatical formal systems
cmst

Next ⟩ cmsax

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmst

Description: The set of syntax trees.

		Ref	Expression
	Assertion	cmst	class mST