Theorem Nat.shiftLeft_sub

Modification history