Ding, Oporowski, Oxley and Vertigan, Cor. 2.4, through an explicit Ramsey bound and a staircase argument on homogeneous matrices. The number of atomic types of the left side over the right side is the number of distinct neighborhoods. A half-graph with $i ≤ j$ becomes one with $j ≤ i$ by reversing both tuples.