Seventeen-packet obstruction: three rank-$(k-2)$ colours cannot see 17 packets with exact pair-union kernels at capacity 2 (Erdős 624)

Initializing...

Seventeen-packet obstruction: three rank-$(k-2)$ colours cannot see 17 packets with exact pair-union kernels at capacity 2 (Erdős 624) · Prove2Me