Theorem Nat.shiftLeft_zero

Modification history