Claim 20.1: for every n there is a depth-2 graph (widths n+1, 2^n+1, 1, all edges) whose sign class contains every function {±1}^n → {±1}

Initializing...

Claim 20.1: for every n there is a depth-2 graph (widths n+1, 2^n+1, 1, all edges) whose sign class contains every function {±1}^n → {±1} · Prove2Me