Theorem Nat.shiftLeft_succ

Modification history