Registry · Definition
IV.D418
tau-effective
not_formalized
IV.D418 — Bi-Rotation
Bi-rotation is simultaneous rotation in both angular directions: equation (t) = (_A t, _B t) (2, 2)
Book IV
Part 5
Ch. 38