P
Initializing...
The rotation of `Y` with the term `T ∈ {tmA, tmB}` (`rotY_RS`) · Prove2Me