Cartan Relation

The relationship $Sq^i(x \smile y) = \Sigma_{j+k=i}Sq^j(x)\smile Sq^k(y)$ encountered in the definition of the Steenrod Algebra.