Theorem Int.shiftLeft_natCast

Modification history