Theorem Nat.one_shiftl

Modification history