Metamath Proof Explorer


Syntax definition ccsh

Description: Extend class notation with Cyclical Shifts.

Ref Expression
Assertion ccsh class cyclShift