2 ms·
Feel free to use it. Using your notation you have a=t1, b=t1∘s, c=t2^-1. Inversely you have s=a^-1∘b, t1=a, t2=c^-1.
by contravariant 9y ago
Feel free to use it. Using your notation you have a=t1, b=t1∘s, c=t2^-1. Inversely you have s=a^-1∘b, t1=a, t2=c^-1.