Theorem Nat.shiftr_zero

Modification history