Metamath Proof Explorer


Syntax definition cusyn

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

Ref Expression
Assertion cusyn
class mUSyn