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

Next ⟩ cmst

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmtree

Description: The set of proof trees.

		Ref	Expression
	Assertion	cmtree	$class mTree$