P

Initializing...

Common-pool low-rank bound (C): $|S|\le b(2^{R+d}-1)$ (Erdős 624) · Prove2Me