Theorem Nat.shiftl'_add

Modification history