Theorem Nat.zero_shiftr

Modification history