@[reducible, inline]
abbrev
def_1_24_6
{R : Type u}
{H : Type v}
[CommRing R]
[AddCommGroup H]
[Module R H]
[Coalgebra R H]
(g h x : H)
:
Definition 1.24.6: an element x in a coalgebra is (g, h)-skew-primitive when its
comultiplication satisfies Δ x = x ⊗ g + h ⊗ x.