Database
REAL AND COMPLEX NUMBERS
Elementary real and complex functions
The "shift" operation
cshi
Next ⟩
df-shft
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cshi
Description:
Extend class notation with function shifter.
Ref
Expression
Assertion
cshi
class shift