https://9lib.net/document/4yr217jz-anti-automorphism-mod-steenrod-algebra-language-structure-combs.html