pub fn sq(i: usize, k: usize) -> u8
Sqⁱ(xᵏ) on H*(BZ/2; Z/2) — the coefficient of x^{k+i} in Sq(xᵏ) = (x + x²)ᵏ.
Sqⁱ(xᵏ)
H*(BZ/2; Z/2)
x^{k+i}
Sq(xᵏ) = (x + x²)ᵏ