“…and µ(Id ⊗ E(A),◮◭ S) • ∆ r (a#h) = (a (1) #h (1) )S(a (2) #h (2) ) =(a (1) #h (1) )(S(h (4) ) · S A (a (2) )ω −1 (S(h (3) ), h (5) )#S(h (2) )) =(a (1) (h (1) · (S(h (7) ) · S A (a (2) )ω −1 (S(h (6) ), h (8) )))ω(h (2) , S(h (5) ))#h (3) S(h (4) ) =(a (1) (h (1) · (S(h (6) ) · S A (a (2) )))(h (2) · ω −1 (S(h (5) ), h (7) ))ω(h (3) , S(h (4) ))#1 H =(a (1) (h (1) · (S(h (2) ) · S A (a (2) )))(h (3) · ω −1 (S(h (6) ), h (7) ))ω(h (4) , S(h (5) ))#1 H =(a (1) (h (1) S(h (2) ) · S A (a (2) )))(h (3) · ω −1 (S(h (6) ), h (7) ))ω(h (4) , S(h (5) ))#1 H =a (1) S A (a (2) )(h (1) · ω −1 (S(h (4) ), h (5) ))ω(h (2) , S(h (3) ))#1 H ( * ) =ǫ A (a)ω −1 (h (1) S(h (8) ), h (9) )ω(h (2) , S(h (7) )h (10) )ω −1 (h (3) , S(h (6) ))ω(h (4) , S(h (5) ))#1 H =ǫ A (a)ω −1 (h (1) S(h (6) ), h (7) )ω(h (2) , S(h (5) )h (8) )(h (3) · (S(h (4) ) · 1 A ))#1 H =ǫ A (a)ω −1 (h (1) S(h (5) ), h (6) )ω(h (2) , S(h (4) )h (7) )(h (3) · 1 A )#1 H =ǫ A (a)ω −1 (h (1) S(h …”