Database
REAL AND COMPLEX NUMBERS
Words over a set
Reversing words
creverse
Next ⟩
df-reverse
Metamath Proof Explorer
Unicode
Structured
Syntax definition
creverse
Description:
Syntax for the word reverse operator.
Ref
Expression
Assertion
creverse
class reverse