Metamath Proof Explorer


Syntax definition cshi

Description: Extend class notation with function shifter.

Ref Expression
Assertion cshi
class shift