Theorem Int.shiftRight_add

Modification history