Bruner definition file for a Steenrod module structure of A(2) (A2tryM_def)
Let A(2) be the subalgebra of the Steenrod algebra generated by Sq^1, Sq^2 and Sq^4 admits 1600 different A-module structures. The above is a Bruner definition file describing an A-module structure on A(2) (one that appears in https://arxiv.org/abs/1909.13379).Â