def rotate(self, angle, pt=None):
        newargs = []
        for a in self.args:
            if isinstance(a, GeometryEntity):
                newargs.append(a.rotate(angle, pt))
            else:
                newargs.append(a)
        return type(self)(*newargs)
Rotate ``angle`` radians counterclockwise about Point ``pt``.
dataset/ETHPy150Open sympy/sympy/sympy/geometry/entity.py/GeometryEntity.rotate