Theorem Nat.zero_shiftLeft

Modification history