Metamath Proof Explorer


Syntax definition cmtree

Description: The set of proof trees.

Ref Expression
Assertion cmtree class mTree