Growing-core / prescribed-star integral obstruction with $k\ge 16(t+1)^2$ (Erdős 624 auxiliary)

Initializing...

Growing-core / prescribed-star integral obstruction with $k\ge 16(t+1)^2$ (Erdős 624 auxiliary) · Prove2Me