Metamath Proof Explorer


Syntax definition creverse

Description: Syntax for the word reverse operator.

Ref Expression
Assertion creverse
class reverse