Database
REAL AND COMPLEX NUMBERS
Elementary real and complex functions
The "shift" operation
cshi

Next ⟩ df-shft

Metamath Proof Explorer

Ascii
Structured

Syntax definition cshi

Description: Extend class notation with function shifter.

		Ref	Expression
	Assertion	cshi	class shift