Minimal-witness counting budget $|S|K\le qB_s(k)K+L_s\sum_u m_u^{>s}$ (Erdős 624 Round 10)

Initializing...

Minimal-witness counting budget $|S|K\le qB_s(k)K+L_s\sum_u m_u^{>s}$ (Erdős 624 Round 10) · Prove2Me