pub fn adams_one_line(t: usize) -> usizeExpand description
dim Ext^{1,t}_๐(Z/2, Z/2) โ the first line of the Adams Eโ page = the indecomposables of the
Steenrod algebra in degree t. Equals dim ๐_t โ dim(๐โบยท๐โบ)_t. By Milnor it is 1 exactly when
t is a power of 2 (the h_i = Sq^{2โฑ}), and 0 otherwise.