The inverse rotation — undoes this one. Exact for a drifted rotation too, where the bare conjugate would leave the length error behind.