Talk:Gilbert–Varshamov bound for linear codes

Formal Proof
In the formal proof, it says that the size of $G$ is $kn$, does this means $k\times n$? 165.230.224.73 (talk) 08:56, 29 March 2016 (UTC)
 * also, what is the reference for the proof? 165.230.224.73 (talk) 09:19, 29 March 2016 (UTC)