When encountering nalgebra I had to go read the wikipedia page on isometries to determine this type is indeed what one uses for rigid motions. I already had “Rigid body motion” and “SE(3)” in my head; maybe the doc string could append “aka rigid body motion aka element of SE(3)”