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

Next ⟩ cmtree

Metamath Proof Explorer

Ascii
Structured

Syntax definition cmgfs

Description: The set of grammatical formal systems.

		Ref	Expression
	Assertion	cmgfs	class mGFS