Theorem Nat.zero_shiftRight

Modification history