Here’s a function I made for rotating a point about another point. Instead of a single point for P, you can use a list and rotate a polygon by using the format below the link.
Rotating a Point around a Center (you don’t need the folder titled Example Shown)
polygon(R(P,C,d))
where P is the list of vertices of your preimage, C is the center of rotation, and d is the degrees of rotation clockwise.