Metamath Proof Explorer


Syntax definition cword

Description: Syntax for the Word operator.

Ref Expression
Assertion cword
class Word S