Database
REAL AND COMPLEX NUMBERS
Words over a set
Cyclical shifts of words
ccsh
Next ⟩
df-csh
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccsh
Description:
Extend class notation with Cyclical Shifts.
Ref
Expression
Assertion
ccsh
class cyclShift