Theorem Nat.shiftRight_succ

Modification history