Theorem Nat.shiftRight_zero

Modification history