P
Initializing...
Critical-rank circuits: at $r=k-1$ the circuits of $(q_x)$ are exactly the minimal witnesses $H_u$ (Erdős 624) · Prove2Me