Deficit two: the union of two skew omitted circuits is an actual minimal witness (Erdős 624)

Initializing...

Deficit two: the union of two skew omitted circuits is an actual minimal witness (Erdős 624) · Prove2Me