Proofs for right/left shift operators

Printable View