Metamath Proof Explorer

Syntax definition creverse

Description: Syntax for the word reverse operator.

Ref Expression
Assertion creverse 
class reverse