Partition regular equation (source code)

= Partition regular equation

A homogeneous linear equation is partition regular when every finite colouring of the positive integers admits a solution whose coordinates all have one colour.

The equation has <partition regularity> when every finite colouring admits such a monochromatic solution.