Theorem Nat.size_shiftl

Modification history