Metamath Proof Explorer


Syntax definition cmst

Description: The set of syntax trees.

Ref Expression
Assertion cmst
class mST