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

Next ⟩ cmwgfs

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmsa

Description: The set of syntax axioms.

		Ref	Expression
	Assertion	cmsa	$class mSA$