OAI.BinaryCoordinateSweeps.Signed.actual_board_overlap_exp: intermediate lemma from OpenAI, Row–column symmetry and contraction of coordinate sweeps

Initializing...

OAI.BinaryCoordinateSweeps.Signed.actual_board_overlap_exp: intermediate lemma from OpenAI, Row–column symmetry and contraction of coordinate sweeps · Prove2Me