Webgl, Rotate object from different rotation origin?

p5.js Beginners
3

Thanks, I’m aware of how push/pop/rotate/etc work

I meant moreso if there was an inbuilt command that lets you rotate an object at a particular co-ordinate without having to rotate then translate?

Many thanks again