ER Theorem 4.1 with the pigeonhole bound: $|A| \ge \rho(k) - 1$ implies $\operatorname{sdeg}(\hat A) \ge k + 1$

Initializing...

ER Theorem 4.1 with the pigeonhole bound: $|A| \ge \rho(k) - 1$ implies $\operatorname{sdeg}(\hat A) \ge k + 1$ · Prove2Me