Diagonal of the square root of an XOR-invariant Gram matrix (corrected: with the factor 2^{-k/2})

Initializing...

Diagonal of the square root of an XOR-invariant Gram matrix (corrected: with the factor 2^{-k/2}) · Prove2Me