Theorem Int.zero_shiftRight'

Modification history