Theorem Int.shiftRight_natCast

Modification history