Applying rotation transform to a set of four coordinates of a rectangle in TensorFlow

Question

I want to rotate a rectangle for which I have the coordinates of the four vertices. I am doing this by creating a rotation matrix from the rotation angle and use that to tr