 Adem relations

These mod-two identities rewrite nonadmissible products of Steenrod squares. For example, ${\mathrm{Sq}}^1{\mathrm{Sq}}^1=0$, ${\mathrm{Sq}}^1{\mathrm{Sq}}^2={\mathrm{Sq}}^3$, and ${\mathrm{Sq}}^1{\mathrm{Sq}}^3=0$. In general the sum ranges over $0\le t\le \lfloor a/2\rfloor$ and coefficients are reduced modulo two.