\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Find the single matrix representing a rotation of \(90^\circ\) anti-clockwise followed by a vertical stretch of scale factor 2.
$$ \mathbf{T} = \begin{pmatrix}\input{145143}{}{3em}{2em}{}{} & \input{245143}{}{3em}{2em}{}{}\\ \input{345143}{}{3em}{2em}{}{} & \input{445143}{}{3em}{2em}{}{}\\ \end{pmatrix}$$