Rotate a 2d plot
I have a 2d plot with multiple arrows, lines etc. and I would like to rotate the entire thing. Here's a simple example without rotation. The real example has more objects on it so I'd rather rotate the entire plot than each individual object.
O = vector((0, 0))
Tp = vector((1, 0))
Np = vector((0, 1))
p = plot([])
p += arrow2d(O, Tp, color="blue")
p += arrow2d(O, Np, color="blue")
p.show(axes=False, aspect_ratio=1)
How can I go about rotating the entire plot by a fixed angle? I have only been able to find information about rotations for 3d plots.