Theorem Nat.shiftl_zero

Modification history