In this link -

Pauls Online Notes : Linear Algebra - Examples of Linear Transformations

When he is talking about 2D rotations, he says -

Now, through a trig formula we can write the equations forwas follows,

I was wondering where a formal definition for this formula can be found. Thanks for any help.