Metamath Proof Explorer


Syntax definition cusyn

Description: The syntax function applied to elements of the model.

Ref Expression
Assertion cusyn class mUSyn