Assume the given matrix is a rotation, and rotate these vectors by it. If you have a long list of FourVectors structures that you all want to rotate by the same matrix, use FourVectors::RotateManyBy() instead.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected