Hey, How can I rotate bunch of vectors around one vector?

For an instance:

I have 3 vectors (blacks) and one vector (red).

I want to rotate all the blacks around the red depending on angle.

So the result will be:

Is there a function?

Thank you!