Definition 3.2 ([1]}) 
Let \( H\)  be a Hopf algebra with bijective antipode.
A strong connection \(\ell \) on a right \(H\) -comodule algebra \(P\)  is a unital linear map \(\ell \colon H\rightarrow P \otimes P\)  satisfying
the following bicolinearity (i.e., left and right colinearity) and splitting conditions:
