To recall, Frobenius product (:) is:
$A:B = trace(A^TB)$
with $A$ and $B$ are matrices.
I don't understand why product rule ($(f.g)'=f'.g+g'.f$) can be used with Frobenius product as well? And what other kinds of product operations that can be used with product rule?