Theorem Nat.zero_shiftl

Modification history