Rado theorem for one equation
ID: rado-theorem-for-one-equation
For nonzero rational coefficients , the equationis partition regular exactly when some nonempty subset of the coefficients has sum zero. This is the one-row form of the columns property.
New to topics? Read the docs here!