Vector rotations of the plane: the analytical approach
The vector rotations of the plane (i.e. centred in the origin), are derived analytically (by coordinates) as linear applications of determinant \(1\), which makes it possible to characterise them integrally