Theorem Nat.shiftl_add

Modification history