Theorem 8.4.3 (The Delsarte bound) — $A(n,d)$ is at most the optimum of the Delsarte linear program

Initializing...

Theorem 8.4.3 (The Delsarte bound) — $A(n,d)$ is at most the optimum of the Delsarte linear program · Prove2Me